MAJORITY-3SAT (and Related Problems) in Polynomial Time.
Shyan AkmalR. Ryan WilliamsPublished in: CoRR (2021)
Keyphrases
- related problems
- satisfiability problem
- sat solvers
- approximation algorithms
- search algorithm
- special case
- range searching
- worst case
- computational complexity
- stochastic local search algorithms
- sat problem
- boolean formula
- propositional satisfiability
- stochastic local search
- phase transition
- broadly applicable
- learning algorithm
- boolean satisfiability
- variable ordering
- sat solving
- np complete
- tractable classes
- biomedical ontologies
- stable marriage