The CHIP System: Constraint Handling In Prolog.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold

Browse the full CADE paper archive.