Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Programming Constraint Inference Engines
Programming Systems Lab, DFKI, Stuhlsatzenhausweg 3, Saarbr├╝cken, Germany.ORCID iD: 0000-0002-6283-7004
1997 (English)In: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, Springer, 1997, Vol. 1330, p. 519-533Conference paper, Published paper (Refereed)
Abstract [en]

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 tautologychecking used in industrial practice. Computation spaces have shown their practicability in the constraint programming system Oz.

Place, publisher, year, edition, pages
Springer, 1997. Vol. 1330, p. 519-533
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1330
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-225409Scopus ID: 2-s2.0-84948970895ISBN: 9783540637530 (print)OAI: oai:DiVA.org:kth-225409DiVA, id: diva2:1200200
Conference
Conference on Principles and Practice of Constraint Programming
Note

QC 20180522

Available from: 2018-04-23 Created: 2018-04-23 Last updated: 2018-05-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Schulte, Christian

Search in DiVA

By author/editor
Schulte, Christian
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf