W. Bledsoe. A new method for proving certain Presburger formulas. In Proc. of the 4 th Joint Conf. on Artificial Intelligence, pages 15--21, 1975. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Representing Nuprl Proof Objects in ACL2: toward a proof.. - Caldwell, Cowles (2002) (Correct)
How to believe a Nuprl Proof: checking Nuprl proofs in ACL2 - Caldwell, Cowles (Correct)
Beyond Finite Domains - Jaffar, Maher, Stuckey, Yap (1994) (9 citations) (Correct)
Enhanced Parallelization via Constraints - Wei-Ngan Chin National (1997) (Correct)
Fine-Motion Planning For Robotic Assembly In Local Contact Space - Dakin (1994) (3 citations) (Correct)
A comparison of decision procedures in Presburger arithmetic - Janicic, Green, Bundy (1997) (1 citation) (Correct)
Experiences with Constraint-based Array Dependence Analysis - Pugh, Wonnacott (1994) (8 citations) (Correct)
Nuprl and its Use in Circuit Design - Jackson (1992) (2 citations) (Correct)
Integrating Decision Procedures into Heuristic Theorem.. - Boyer, Moore (1985) (95 citations) (Correct)
The Mathematics and Mechanics of Relating Formal Theories - Constable (Correct)
Going beyond Integer Programming with the Omega Test to.. - Pugh, Wonnacott (1992) (14 citations) (Correct)
Going beyond Integer Programming with the Omega Test to.. - Pugh, Wonnacott (1992) (14 citations) (Correct)
Experiences with Constraint-based Array Dependence Analysis - Pugh, Wonnacott (1994) (8 citations) (Correct)
Mixing List Recursion and Arithmetic - Fribourg (1991) (1 citation) (Correct)
STeP: the Stanford Temporal Prover - Manna, Anuchitanukul.. (1994) (90 citations) (Correct)
Enhancing the Nuprl Proof Development System and Applying it to.. - Jackson (1995) (42 citations) (Correct)
The Role of Automated Reasoning in Integrated System.. - Good, Kaufmann, Moore (1992) (1 citation) (Correct)
A Transformation Method for Dynamic-Sized Tabulation - Chin (1995) (3 citations) (Correct)
In Memoriam Woodrow Wilson Bledsoe - Boyer, Browne, Misra Self-citation (Bledsoe) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC