Login / Signup

Solving Constraint Satisfaction Problems with SAT Technology.

Naoyuki TamuraTomoya TanjoMutsunori Banbara
Published in: FLOPS (2010)
Keyphrases
  • solving constraint satisfaction problems
  • case study
  • constraint satisfaction problems
  • arc consistency
  • search algorithm
  • search space