A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Deductive Generation of Constraint Propagation Rules
2003
Electronical Notes in Theoretical Computer Science
Constraint propagation can often be conveniently expressed by rules. In recent years, a number of techniques for automatic generation of rule-based constraint solvers have been developed, most of them using a generate-and-test approach. We examine a generation method that is based on deduction. A solver (i. e., a set of rules) for a complex constraint is obtained from one or several weaker solvers for simple constraints. We describe incremental solver constructions for several types of
doi:10.1016/s1571-0661(04)80675-3
fatcat:mjzavatjj5dthaicjrbhii2cfu