Login / Signup

Guiding SAT Diagnosis with Tree Decompositions.

Per BjesseJames H. KukulaRobert F. DamianoTed StanionYunshan Zhu
Published in: SAT (2003)
Keyphrases
  • tree decompositions
  • constraint satisfaction problems
  • tree decomposition
  • search algorithm
  • satisfiability problem
  • sat solvers
  • search strategies
  • phase transition
  • database
  • databases
  • probability distribution