CR-Prolog as a Specification Language for Constraint Satisfaction Problems.

Marcello Balduccini

Browse the full LPNMR paper archive.