Synthesizing Switching Logic Using Constraint Solving.
Ankur TalySumit GulwaniAshish TiwariPublished in: VMCAI (2009)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- logic programming
- classical logic
- modal logic
- constraint solvers
- multi valued
- search algorithm
- context aware
- logic programs
- dynamic programming
- np hard
- data structure