Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis.
Cameron BrienSharad MalikPublished in: FMCAD (2006)
Keyphrases
- sat solvers
- visual analysis
- dynamic behavior
- propositional satisfiability
- orders of magnitude
- sat solving
- sat instances
- search tree
- boolean satisfiability
- max sat
- search strategies
- clause learning
- search space
- sat problem
- constraint satisfaction
- information visualization
- computer vision
- data analysis
- heuristic search
- social networks
- satisfiability problem
- decision problems
- evolutionary algorithm
- data structure
- knowledge base