Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Programming Constraint Inference Engines
Programming Systems Lab, DFKI, Stuhlsatzenhausweg 3, Saarbrücken, Germany.ORCID-id: 0000-0002-6283-7004
1997 (Engelska)Ingår i: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, Springer, 1997, Vol. 1330, s. 519-533Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 1997. Vol. 1330, s. 519-533
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 1330
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:kth:diva-225409Scopus ID: 2-s2.0-84948970895ISBN: 9783540637530 (tryckt)OAI: oai:DiVA.org:kth-225409DiVA, id: diva2:1200200
Konferens
Conference on Principles and Practice of Constraint Programming
Anmärkning

QC 20180522

Tillgänglig från: 2018-04-23 Skapad: 2018-04-23 Senast uppdaterad: 2018-05-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Scopus

Personposter BETA

Schulte, Christian

Sök vidare i DiVA

Av författaren/redaktören
Schulte, Christian
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf