Keyphrases
- floating point
- quantified boolean formulas
- boolean formula
- sat solving
- satisfiability problem
- square root
- fixed point
- instruction set
- decision procedures
- floating point arithmetic
- fast fourier transform
- sat problem
- sat solvers
- np complete
- propositional logic
- unit propagation
- phase transition
- linear constraints
- cnf formula
- propositional satisfiability
- clause learning
- conjunctive normal form
- sat encodings
- interval arithmetic
- sufficient conditions
- data structure