An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.
Yoichiro IidaTomohiro SonobeMary InabaPublished in: POS@SAT (2023)
Keyphrases
- sat problem
- clause learning
- satisfiability problem
- sat solvers
- cnf formula
- np complete
- constraint satisfaction problems
- truth assignment
- boolean satisfiability
- propositional satisfiability
- randomly generated
- decision problems
- phase transition
- search space
- sat instances
- constraint satisfaction
- sat solving
- davis putnam
- stochastic local search
- backtracking search