Synthesizing switching logic using constraint solving.

Ankur Taly Sumit Gulwani Ashish Tiwari

Published in: Int. J. Softw. Tools Technol. Transf. (2011)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction
constraint satisfaction problems
constraint solver
logic programming
constraint programming
classical logic
modal logic
search algorithm