Searching for "A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A framework for the flexible integration of a class of decision procedures into theorem provers
- … for the Flexible Integration of a Class of Decision Procedures into Theorem Provers appears in Procs of CADE-16…
- Cited by 4 (2 self) – Add To MetaCart
-
Applications of Real First-Order Constraint Solving Bibliography
- … integration of a class of decision procedures in theorem provers. In CADE-16, number 1632 in LNAI, pages 127…
- Cited by 2 (2 self) – Add To MetaCart
-
EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
- … for combining and integrating decision procedures into theorem provers. Journal of Automated Reasoning, 2001…
- Add To MetaCart
Showing 1 through 3.
