On the Mysteries of MAX NAE-SAT.
Joshua BrakensiekNeng HuangAaron PotechinUri ZwickPublished in: CoRR (2020)
Keyphrases
- sat solvers
- satisfiability problem
- sat solving
- sat problem
- phase transition
- boolean satisfiability
- propositional satisfiability
- orders of magnitude
- sat instances
- stochastic local search algorithms
- modulo theories
- sat encodings
- stochastic local search
- artificial intelligence
- max sat
- search strategies
- constraint satisfaction
- np complete
- objective function
- genetic algorithm