An Incremental and non-binary CSP Solver: The Hyperpolyedron Search Algorithm.

Salido Gregorio Miguel Angel, Barber Sanchís Federico

2001

Lecture Notes in Computer Science