Stav dette: Constraint networks: techniques and algorithms