liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A framework for designing constraint stores
Linköping University, Department of Computer and Information Science, EIT - Education in Information Technology Group. Linköping University, The Institute of Technology.
2007 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

A constraint solver based on concurrent search and propagation provides a well-defined component model for propagators by enforcing a strict two-level architecture. This makes it straightforward for third parties to invent, implement and deploy new kinds of propagators. The most critical components of such solvers are the constraint stores through which propagators communicate with each other. Introducing stores supporting new kinds of stored constraints can potentially increase the solving power by several orders of magnitude. This thesis presents a theoretical framework for designing stores achieving this without loss of propagator interoperability.

Place, publisher, year, edition, pages
Linköping: Linköpings universitet , 2007. , 118 p.
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1302
National Category
Computer Science
URN: urn:nbn:se:liu:diva-37897Local ID: 40350ISBN: 978-91-85715-70-1 (print)OAI: diva2:258746
2007-03-09, Alan Turing, Hus E, Linköpings universitet, Linköping, 13:15 (Swedish)
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2013-12-03

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Hägglund, Björn
By organisation
EIT - Education in Information Technology GroupThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 110 hits
ReferencesLink to record
Permanent link

Direct link