Adding Constraint Solving to Mercury.

Ralph Becket, Maria J. Garca de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace

Browse the full PADL paper archive.