Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT.
Anshujit SharmaMatthew BurnsMichael C. HuangPublished in: SAT (2023)
Keyphrases
- solving hard
- sat solvers
- search algorithm
- search strategies
- sat solving
- combinatorial problems
- satisfiability problem
- search problems
- propositional satisfiability
- heuristic search
- stochastic local search algorithms
- orders of magnitude
- sat instances
- backtracking search
- stochastic methods
- variable ordering
- stochastic local search
- search heuristics
- max sat
- b spline
- quantified boolean formulas
- search space