Constraint satisfaction in logic programming (0)

by P Van Hentenryck