An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas.
Ruiwen ChenValentine KabanetsNitin SaurabhPublished in: MFCS (2) (2014)
Keyphrases
- dynamic programming
- optimal solution
- detection algorithm
- preprocessing
- experimental evaluation
- learning algorithm
- significant improvement
- high accuracy
- simulated annealing
- search space
- computational cost
- worst case
- particle swarm optimization
- computational complexity
- recognition algorithm
- cost function
- np hard
- k means
- segmentation algorithm
- optimization algorithm