Keyphrases
- quantifier free
- propositional formulas
- sat solvers
- boolean formula
- cnf formula
- satisfiability problem
- sat problem
- propositional satisfiability
- boolean satisfiability
- first order logic
- conjunctive normal form
- stochastic local search algorithms
- quantifier elimination
- propositional logic
- rewrite systems
- max sat
- sat solving
- solar radiation
- sat instances
- random sat
- thermal imaging
- truth assignment
- high temperature
- mathematical formulas
- surface temperature
- electric field
- phase transition
- normal form
- np complete
- neural network