(Quantified) Horn Constraint Solving for Program Verification and Synthesis.
Andrey RybalchenkoPublished in: CoRR (2014)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- np hard
- constraint satisfaction
- constraint solver
- constraint programming
- constraint solvers
- horn logic
- finite domain
- texture synthesis
- propositional logic
- horn clauses
- orders of magnitude
- np complete
- logic programming