Login / Signup

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

Zack NewshamWilliam LindsayVijay GaneshJia Hui LiangSebastian FischmeisterKrzysztof Czarnecki
Published in: SAT (2015)
Keyphrases
  • sat solvers
  • sat solving
  • hierarchical structure
  • satisfiability problem
  • neural network
  • structural properties
  • search tree
  • sat problem