Author:
Hägglund, Björn (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, EIT - Education in Information Technology Group)
Title:
A framework for designing constraint stores
Department:
Linköping University, Department of Computer and Information Science, EIT - Education in Information Technology Group
Linköping University, The Institute of Technology
Publication type:
Licentiate thesis, comprehensive summary (Other academic)
Place of publ.:
Linköping
Publisher:
Linköpings universitet
Series:
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971; 1302
URI:
urn:nbn:se:liu:diva-37897
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-37897
Abstract(en)
:
A constraintsolver based on concurrent search and propagation provides awell-defined component model for propagators by enforcing a stricttwo-level architecture. This makes it straightforward for thirdparties to invent, implement and deploy new kinds of propagators.The most critical components of such solvers are the constraintstores through which propagators communicate with each other.Introducing stores supporting new kinds of stored constraints canpotentially increase the solving power by several orders ofmagnitude. This thesis presents a theoretical framework fordesigning stores achieving this without loss of propagatorinteroperability.
Available from:
2009-10-10
Statistics:
17 hits