Change search
ReferencesLink to record
Permanent link

Direct link
Towards "Propagation = Logic + Control"
Number of Authors: 2
2006 (English)Report (Refereed)
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.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2006, 1. , 16 p.
SICS Technical Report, ISSN 1100-3154 ; 2006:13
Keyword [en]
constraint programming, constraint logic programming, constraint propagation
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14215OAI: diva2:1035503
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(207 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 207 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link