On the Mysteries of MAX NAE-SAT.
Joshua BrakensiekNeng HuangAaron PotechinUri ZwickPublished in: SODA (2021)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- phase transition
- search algorithm
- boolean satisfiability
- sat instances
- sat solving
- propositional satisfiability
- databases
- max sat
- stochastic local search
- stochastic local search algorithms
- np complete
- integer linear programming
- special case
- variable ordering
- reinforcement learning
- neural network