Constraint Solving in Finite Domains under User Control.

Francisco Menezes, Pedro Barahona

Browse the full EPIA paper archive.