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

Direktlänk
Referera
Referensformat
  • apa
  • 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
Towards "Propagation = Logic + Control"
National ICT Australia, Victoria Research Lab, Melbourne.
National University of Singapore.
2006 (Engelska)Rapport (Refereegranskat)
Abstract [en]

Constraint propagation algorithms implement logical inference. For efficiency, it is essential to control whether and in what order basic inference steps are taken. We provide a high-level framework that clearly differentiates between information needed for controlling propagation versus that needed for the logical semantics of complex constraints composed from primitive ones. We argue for the appropriateness of our controlled propagation framework by showing that it captures the underlying principles of manually designed propagation algorithms, such as literal watching for unit clause propagation and the lexicographic ordering constraint. We provide an implementation and benchmark results that demonstrate the practicality and efficiency of our framework.

Ort, förlag, år, upplaga, sidor
Swedish Institute of Computer Science , 2006, 1. , s. 16
Serie
SICS Technical Report, ISSN 1100-3154 ; 2006:13
Nyckelord [en]
constraint programming, constraint logic programming, constraint propagation
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-22027OAI: oai:DiVA.org:ri-22027DiVA, id: diva2:1041569
Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2018-01-14Bibliografiskt granskad

Open Access i DiVA

fulltext(207 kB)100 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 207 kBChecksumma SHA-512
64fbac3b32db760b345aa25f5b3e705d8ce2efdba0ecce157fd6934656f4c7ed1b49b946e2895ff6483aec053e72de949baca0ccd3779579ddbf204f015fecd9
Typ fulltextMimetyp application/pdf

Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 100 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 103 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • 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