Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities.

Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings

Browse the full AI paper archive.