MAJORITY-3SAT (and Related Problems) in Polynomial Time.
Shyan AkmalRyan WilliamsPublished in: FOCS (2022)
Keyphrases
- related problems
- satisfiability problem
- special case
- sat solvers
- range searching
- stable marriage
- sat problem
- computational complexity
- broadly applicable
- stochastic local search
- structured databases
- worst case
- search algorithm
- phase transition
- propositional satisfiability
- boolean formula
- boolean satisfiability
- tractable classes
- search problems
- search strategies
- model checking
- bounded treewidth
- constraint satisfaction problems