Login / Signup
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.
Marcel Jackson
Belinda Trotta
Published in:
Stud Logica (2013)
Keyphrases
</>
constraint satisfaction
constraint satisfaction problems
heuristic search
phase transition
constraint programming
constraint relaxation
constraint propagation
relaxation labeling
arc consistency
product configuration
probabilistic reasoning
russian doll search
combinatorial problems
soft constraints
constraint networks
sat solvers
constrained problems
lower bound
search algorithm