Login / Signup

CSPs: Adding Structure to SAT.

Fahiem Bacchus
Published in: SAT (2006)
Keyphrases
  • neural network
  • constraint satisfaction problems
  • structural information
  • search algorithm
  • satisfiability problem
  • genetic algorithm
  • tree structure
  • constraint satisfaction
  • combinatorial problems
  • sat problem