Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles.
Jonas NüßleinThomas GaborClaudia Linnhoff-PopienSebastian FeldPublished in: CoRR (2022)
Keyphrases
- graph coloring
- satisfiability problem
- max sat
- search algorithm
- sat problem
- sat solving
- propositional satisfiability
- sat solvers
- phase transition
- heuristic search
- combinatorial problems
- stochastic local search
- variable ordering
- database
- optimization methods
- mixed integer linear programming
- upper bound
- backtracking search
- pseudo boolean constraints