Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.

Alessandro Armando, Erica Melis, Silvio Ranise

Browse the full AIMSA paper archive.