IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #1216   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:31:23
1216 Add to my selection
Christian Schulte. Programming Constraint Inference Engines. In Gert Smolka editor, 3rd International Conference on Principles and Practice of Constraint Programming (CP '97), October 29 - November 1, (1330):519-533, Springer, Schloß Hagenberg, Austria, 1997. URL [Abstract] [Annote]
@InProceedings{Schulte:1997,
      AUTHOR = {Schulte, Christian},
      TITLE = {Programming Constraint Inference Engines},
      YEAR = {1997},
      BOOKTITLE = {3rd International Conference on Principles and Practice of Constraint Programming (CP '97), October 29 - November 1},
      NUMBER = {1330},
      PAGES = {519-533},
      EDITOR = {Smolka, Gert},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {Schloß Hagenberg, Austria},
      PUBLISHER = {Springer},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/Engines.ps.gz},
      ABSTRACT = {Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfortunate, since new engines cannot be integrated by the user. The paper presents first-class computation spaces as abstractions with which the user can program inference engines at a high level. Using computation spaces, the paper covers several inference engines ranging from standard search strategies to techniques new to constraint programming, including limited discrepancy search, visual search, and saturation. Saturation is an inference method for tautology-checking used in industrial practice. Computation spaces have shown their practicability in the constraint programming system Oz.},
      ANNOTE = {COLIURL : Schulte:1997:PCI.pdf Schulte:1997:PCI.ps}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin