A Theoretical Framework for Constraint Hierarchy Solvers

Abstract

A description of a formal framework modelling constraint hierarchies and solvers for constraint hierarchies.