The CHIP System: Constraint Handling In Prolog

• Authors:

• Mehmet Dincbas;Pascal Van Hentenryck;Helmut Simonis;Abderrahmane Aggoun;Alexander Herold

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the 9th International Conference on Automated Deduction
• Year:
• 1988