Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks.
Tomás BalyoLukás ChrpaPublished in: SOCS (2018)
Keyphrases
- dynamic programming
- high accuracy
- times faster
- np hard
- experimental evaluation
- optimization algorithm
- detection algorithm
- search space
- objective function
- cost function
- preprocessing
- computational cost
- optimal solution
- simulated annealing
- learning algorithm
- generation method
- configuration space
- segmentation algorithm
- probabilistic model
- computational complexity
- similarity measure