An Improved Deterministic #SAT Algorithm for Small de Morgan Formulas.
Ruiwen ChenValentine KabanetsNitin SaurabhPublished in: Algorithmica (2016)
Keyphrases
- learning algorithm
- dynamic programming
- experimental evaluation
- detection algorithm
- randomly generated
- recognition algorithm
- cost function
- objective function
- particle swarm optimization
- probabilistic model
- computational cost
- expectation maximization
- np hard
- convergence rate
- search space
- computational complexity
- stochastic local search
- relaxation algorithm