Deciding equivalence-based properties using constraint solving.

Vincent Cheval Véronique Cortier Stéphanie Delaune

Published in: Theor. Comput. Sci. (2013)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction
constraint solver
constraint satisfaction problems
desirable properties
special case
orders of magnitude
monte carlo