An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas.
Ruiwen ChenValentine KabanetsNitin SaurabhPublished in: Electron. Colloquium Comput. Complex. (2013)
Keyphrases
- detection algorithm
- learning algorithm
- dynamic programming
- computational complexity
- preprocessing
- worst case
- computational cost
- recognition algorithm
- matching algorithm
- segmentation algorithm
- experimental evaluation
- cost function
- linear programming
- k means
- randomly generated
- genetic algorithm
- np hard
- simulated annealing
- particle swarm optimization
- expectation maximization
- significant improvement
- combinatorial optimization
- search space