Techniques for Efficient Constraint Propagation

Techniques for Efficient Constraint Propagation

This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation.  Support for incremental propagation is added to a propagator centered propagation...

Full description

Bibliographic Details
Main Author: Lagerkvist, Mikael Zayenz
Format: Others
Language:English
Published: KTH, Elektronik- och datorsystem, ECS 2008
Subjects:
constraint programming
constraint propagation
optimization
Computer Sciences
Datavetenskap (datalogi)
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9511
http://nbn-resolving.de/urn:isbn:978-91-7415-154-1

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-9511
http://nbn-resolving.de/urn:isbn:978-91-7415-154-1

Similar Items