NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances.
Sathiamoorthy SubbarayanDhiraj K. PradhanPublished in: SAT (Selected Papers (2004)
Keyphrases
- variable elimination
- sat instances
- preprocessing
- satisfiability problem
- sat solvers
- probabilistic inference
- bayesian networks
- inference in bayesian networks
- belief networks
- sat problem
- randomly generated
- computational properties
- graphical models
- knowledge base
- search algorithm
- stochastic local search
- search tree
- genetic algorithm
- phase transition
- np complete
- evolutionary algorithm