A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances.
Philippe JégouLionel ParisPublished in: SARA (2009)
Keyphrases
- graphical representation
- sat instances
- graphical representations
- satisfiability problem
- sat solvers
- random sat
- sat problem
- boolean formula
- randomly generated
- computational properties
- influence diagrams
- belief networks
- multi attribute
- bayesian networks
- stochastic local search
- propositional satisfiability
- random sat instances
- search strategies
- sensitivity analysis
- graphical models
- search space
- computational complexity
- optimal solution