Incremental SAT-based Exact Synthesis.

Sunan Zou Jiaxi Zhang Guojie Luo

Published in: ACM Great Lakes Symposium on VLSI (2024)

Keyphrases

incremental learning
answer set programming
texture synthesis
bounded model checking
data sets
incremental clustering
sat encodings
constraint solver
version space
single pass
brute force
answer sets
sat solvers
data driven
exact solution
upper bound
case study
learning algorithm