Sign in
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