A Faster Exact Algorithm to Count X3SAT Solutions.
Gordon HoiSanjay JainFrank StephanPublished in: CP (2020)
Keyphrases
- optimal solution
- computational complexity
- preprocessing
- cost function
- highly efficient
- benchmark problems
- optimization algorithm
- learning algorithm
- times faster
- matching algorithm
- detection algorithm
- objective function
- dynamic programming
- convergence rate
- optimal or near optimal
- significant improvement
- experimental evaluation
- global solution
- memory efficient
- randomly generated
- np hard
- combinatorial optimization
- segmentation algorithm
- search strategy
- computational cost
- recognition algorithm
- neural network
- search space
- exact solution
- brute force
- k means
- orders of magnitude