Constraint acquisition systems such as QuAcq and MultiAcq can assist
non...
Learning constraint networks is known to require a number of membership
...
Local consistencies stronger than arc consistency have received a lot of...
The search strategy of a CP solver is determined by the variable and val...
Max Restricted Path Consistency (maxRPC) is a local consistency for bina...