46 search results - page 10 / 10 » Boolean Satisfiability and Equivalence Checking Using Genera... |
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...