Search for dissertations about: "Mikael Zayenz Lagerkvist"

Found 1 swedish dissertation containing the words Mikael Zayenz Lagerkvist.

2. 1. Techniques for Efficient Constraint Propagation

   Author : Mikael Zayenz Lagerkvist; Seif Haridi; Christian Schulte; Pierre Flener; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint propagation; optimization; Computer science; Datalogi;

   Abstract : 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 system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. READ MORE