Conflict-Driven Synthesis for Layout Engines. - Liu, Junrui; Chen, Yanju; Atkinson, Eric; Feng, Yu; Bodík, Rastislav (Proc. ACM Program. Lang., 2023)