Login / Signup
Variable Dependencies of Quantified CSPs.
Marko Samer
Published in:
LPAR (2008)
Keyphrases
</>
constraint satisfaction problems
ordering heuristics
constraint satisfaction
constraint propagation
arc consistency
constraint networks
partial assignment
symmetry breaking constraints
temporal constraints
symmetry breaking
dependency analysis
hypertree decomposition
database
search space