A Faster Exact Algorithm to Count X3SAT Solutions.
Gordon HoiSanjay JainFrank StephanPublished in: CoRR (2020)
Keyphrases
- optimal solution
- objective function
- times faster
- detection algorithm
- expectation maximization
- memory efficient
- solution quality
- solution space
- high accuracy
- dynamic programming
- np hard
- search space
- experimental evaluation
- segmentation algorithm
- cost function
- benchmark problems
- recognition algorithm
- preprocessing
- computational cost
- similarity measure
- np complete
- convergence rate
- optimal or near optimal