@InProceedings{Müller:2000_5,
AUTHOR = {Müller, Tobias},
TITLE = {Promoting Constraints to First-Class Status},
YEAR = {2000},
BOOKTITLE = {1st International Conference on Computational Logic (CL '00), July 24-28},
NUMBER = {1861},
PAGES = {429-447},
EDITOR = {Lloyd, J. and Dahl, V. and Furbach, U. and Kerber, Manfred and Lau, K.-K. and Palamidessi, C. and Pereira, L. M. and Sagiv, Y. and Stuckey, P.J.},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Imperial College, London, UK},
PUBLISHER = {Springer},
URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/Mueller-00a.ps.gz},
ABSTRACT = {This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class constraints allow reasoning about the constraints themselves. This lets the programmer access the current state of a constraint and control a constraint's behavior directly, thus making powerful new programming and inference techniques possible, as the combination of constraint propagation and rewriting constraints à la term rewriting. First-class constraints allow for meta constraint programming. Promising applications in the field of combinatorial optimization include early unsatisfiability detection, constraint reformulation to improve propagation, garbage collection of redundant but not yet entailed constraints, and finding minimal inconsistent subsets of a given set of constraints for debugging immediately failing constraint programs. We demonstrate the above-mentioned applications by means of examples. The experiments were done with Mozart Oz but can be easily ported to other constraint solvers.},
ANNOTE = {COLIURL : Muller:2000:PCF.pdf Muller:2000:PCF.ps}
}
|
