An Enumerative Algorithm for #2SAT.
Guillermo De Ita LunaJosé Raymundo Marcial-RomeroYolanda MoyaoPublished in: Electron. Notes Discret. Math. (2014)
Keyphrases
- times faster
- optimization algorithm
- experimental evaluation
- detection algorithm
- high accuracy
- worst case
- significant improvement
- randomly generated
- dynamic programming
- cost function
- computationally efficient
- preprocessing
- computational complexity
- theoretical analysis
- segmentation algorithm
- objective function
- search space
- computational cost
- simulated annealing
- optimal solution
- orders of magnitude
- learning algorithm
- improved algorithm
- neural network