Characterizing the Temperature of SAT Formulas.
Pedro Almagro-BlancoJesús Giráldez-CruPublished in: Int. J. Comput. Intell. Syst. (2022)
Keyphrases
- quantifier free
- propositional formulas
- satisfiability problem
- cnf formula
- sat solvers
- sat problem
- boolean formula
- search algorithm
- propositional satisfiability
- max sat
- stochastic local search algorithms
- conjunctive normal form
- truth assignment
- sat solving
- boolean satisfiability
- random sat
- rewrite systems
- quantifier elimination
- high temperature
- propositional logic
- first order logic
- search strategies
- phase transition
- davis putnam
- room temperature
- mathematical formulas
- variable ordering
- surface temperature
- real numbers
- stochastic local search
- heuristic search
- randomly chosen