Applications of Quantified Constraint Solving over the Reals - Bibliography

Stefan Ratschan

Published in: CoRR (2012)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
constraint databases
constraint solvers