. "Amsterdam" . "Amsterdam" . . "IOS Press" . . "A Theoretical Framework for Constraint Hierarchy Solvers"@en . "11320" . "P(GA201/99/D057), Z(MSM 113200005)" . "A Theoretical Framework for Constraint Hierarchy Solvers" . "5"^^ . . . . . . "2002-01-01+01:00"^^ . "A description of a formal framework modelling constraint hierarchies and solvers for constraint hierarchies."@en . . "RIV/00216208:11320/02:00003454" . . "A Theoretical Framework for Constraint Hierarchy Solvers"@en . "A description of a formal framework modelling constraint hierarchies and solvers for constraint hierarchies." . "1-58603-257-7" . "637242" . . . "146;150" . "Theoretical;Framework;Constraint;Hierarchy;Solvers"@en . . "1"^^ . . "Bart\u00E1k, Roman" . . "[ECD4B8A07FDA]" . "RIV/00216208:11320/02:00003454!RIV/2003/GA0/113203/N" . "A Theoretical Framework for Constraint Hierarchy Solvers" . . . "0"^^ . "1"^^ . "0"^^ . . "ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence" . . .