SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism.
Winston HaaswijkMathias SoekenAlan MishchenkoGiovanni De MicheliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- sat encodings
- boolean satisfiability
- planning problems
- sat solvers
- mechanical devices
- answer set programming
- program synthesis
- ai planning
- shared memory
- parallel processing
- max sat
- bounded model checking
- orders of magnitude
- version space
- symmetry breaking
- answer sets
- parallel computing
- exact solution
- constraint satisfaction problems
- classical planning
- constraint solver
- probabilistic planning
- branch and bound algorithm