Algorithms Transcending the SAT-Symmetry Interface.
Markus AndersPascal SchweitzerMate SoosPublished in: SAT (2023)
Keyphrases
- theoretical analysis
- significant improvement
- computational cost
- optimization problems
- computationally efficient
- benchmark datasets
- orders of magnitude
- recently developed
- database
- learning algorithm
- search algorithm
- stochastic local search
- times faster
- backtracking search
- graph theory
- search strategies
- data mining algorithms
- worst case
- data sets