Conflict-Driven Synthesis for Layout Engines.

Junrui Liu Yanju Chen Eric Atkinson Yu Feng Rastislav Bodík

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

data driven
conflict resolution
program synthesis
real time
genetic algorithm
layout design
data sets
databases
database systems