LiU Electronic Press
Full-text not available in DiVA
Author:
Hägglund, Björn (Linköping University, Department of Computer and Information Science, EIT - Education in Information Technology Group) (Linköping University, The Institute of Technology)
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, monograph (Other academic)
Language:
English
Place of publ.: Linköping Publisher: Linköpings universitet
Pages:
118
Series:
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971; 1302
Year of publ.:
2007
URI:
urn:nbn:se:liu:diva-37897
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-37897
ISBN:
978-91-85715-70-1
Local ID:
40350
Subject category:
Computer Science
SVEP category:
Computer science
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.

Presentation:
2007-03-09, Alan Turing, Hus E, Linköpings universitet, Linköping, 13:15 (Swedish)
Degree:
Licentiate of Engineering
Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2013-12-03
Statistics:
30 hits