Exact enumeration of satisfiable 2-SAT formulae.
Sergey DovgalÉlie de PanafieuVlady RavelomananaPublished in: CoRR (2021)
Keyphrases
- sat problem
- satisfiability problem
- phase transition
- sat instances
- max sat
- sat solvers
- constraint satisfaction problems
- np complete
- search space
- randomly generated
- boolean satisfiability
- temporal logic
- sat solving
- search algorithm
- stochastic local search
- propositional satisfiability
- propositional formulas
- decision problems
- constraint satisfaction
- combinatorial problems
- random sat
- stochastic local search algorithms
- cnf formula
- search strategies
- truth assignment