Sökning: "Mikael Zayenz Lagerkvist"

Hittade 1 avhandling innehållade orden Mikael Zayenz Lagerkvist.

  1. 1. Techniques for Efficient Constraint Propagation

    Detta är en avhandling från Stockholm : KTH

    Författare :Mikael Zayenz Lagerkvist; KTH.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint propagation; optimization; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

    Sammanfattning : 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. LÄS MER