Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison.

Nikolay Pelov, Emmanuel De Mot, Marc Denecker

Browse the full LPAR paper archive.