13 October 2000, Computational Logic Seminar

13 October 2000, Computational Logic Seminar
Title: Constraint Programming viewed as Rule-based Programming
Speaker: Krzysztof Apt
Location: Room P.327, Euclides building
Date and Time: 13 October 2000, 13.30

Abstract:
We study here a natural situation when constraint programming can be entirely reduced to rule-based programming. To this end we consider constraint satisfaction problems that are based on predefined, explicitly given constraints. To solve them we first derive rules from these constraints and limit the computation process to a repeated application of these rules, combined with labeling.

For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar00-2.html.