Equational Constraint Solving Via a Restricted Form of Universal Quantification.

Javier Álvez Paqui Lucio

Published in: FoIKS (2006)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction
constraint satisfaction problems
constraint solver
constraint programming
database systems
theorem proving
search algorithm
temporal constraints
theorem prover