Search for dissertations about: "Mikael Zayenz Lagerkvist"
Found 1 swedish dissertation containing the words Mikael Zayenz Lagerkvist.
-
1. Techniques for Efficient Constraint Propagation
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
Result pages:
1