NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances.
Sathiamoorthy SubbarayanDhiraj K. PradhanPublished in: SAT (2004)
Keyphrases
- variable elimination
- sat instances
- preprocessing
- probabilistic inference
- inference in bayesian networks
- satisfiability problem
- sat solvers
- belief networks
- randomly generated
- bayesian networks
- sat problem
- computational properties
- stochastic local search
- database
- random sat instances
- heuristic search
- graphical models