Avancerad sökning
Hittade 1 avhandling som matchar ovanstående sökkriterier.
1. Techniques for Efficient Constraint Propagation
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
Resultatsidor:
1