Login / Signup
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