[PLDI'23] Conflict-Driven Synthesis for Layout Engines | ACM SIGPLAN | Podwise