Programming constraint inference engines
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 519-533
- https://doi.org/10.1007/bfb0017464
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Compiling constraints in clp(FD)The Journal of Logic Programming, 1996
- Stålmarck’s algorithm as a HOL derived rulePublished by Springer Nature ,1996
- Depth-first iterative-deepeningArtificial Intelligence, 1985