|
2
|
A comparison of decision procedures
– Predrag Janicic, Alan Bundy, Predrag Janicic, Alan Bundy
- 1997
|
|
2
|
Strict General Setting for Building Decision Procedures into Theorem Provers
– Predrag Janicic, Alan Bundy
- 2001
|
|
5
|
A framework for the flexible integration of a class of decision procedures into theorem provers
– Predrag Janicic, Alan Bundy, Ian Green
- 1999
|
|
38
|
The automation of proof by mathematical induction
– Alan Bundy
- 1997
|
|
19
|
Combining Shostak Theories
– Natarajan Shankar, Harald Rueß
- 2002
|
|
18
|
New results on rewrite-based satisfiability procedures
– Allessandro Armando, Silvio Ranise, Stephan Schulz
|
|
|
Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
– Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
- 2008
|
|
24
|
A Framework for Cooperating Decision Procedures
– Clark W. Barrett, David L. Dill, Aaron Stump
- 2000
|
|
27
|
Deconstructing Shostak
– Harald Rueß, Natarajan Shankar
- 2002
|
|
7
|
A practical integration of first-order reasoning and decision procedures
– Nikolaj S. Bjørner, Mark E. Stickel, Tomas E. Uribe
- 1997
|
|
20
|
Verifying temporal properties of reactive systems: A STeP tutorial
– Nikolaj S. Bjørner, Anca Browne, Michael A. Colon, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomas E. Uribe
- 2000
|
|
17
|
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic
– Sergey Berezin, Vijay Ganesh, David L. Dill
- 2002
|
|
|
Deciding Propositional Combinations of Equalities and Inequalities
– Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, N. Shankar
|
|
22
|
An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic
– Viktor Kuncak, Huu Hai Nguyen, Martin Rinard
- 2005
|
|
32
|
Model-Theoretic Methods in Combined Constraint Satisfiability
– Silvio Ghilardi
- 2004
|
|
|
Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Deciding Properties of Lists using Containers
– Rawle Prince
|
|
4
|
System Description: RDL - Rewrite and Decision procedure Laboratory
– Alessandro Armando, Luca Compagna, Silvio Ranise
- 2000
|
|
6
|
A Practical Extension Mechanism for Decision Procedures
– Alessandro Armando, Silvio Ranise
- 2000
|
|
4
|
Automating elementary number-theoretic proofs using Gröbner bases
– John Harrison
|
