|
Journals in DBLP
- Alessandro Armando, Alessandro Cimatti
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:1-2 [Journal]
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
Encoding RTL Constructs for MathSAT: a Preliminary Report. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:3-14 [Journal]
- Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
Tool Building Requirements for an API to First-Order Solvers. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:15-26 [Journal]
- Shuvendu K. Lahiri, Madanlal Musuvathi
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:27-41 [Journal]
- Sean McLaughlin, Clark Barrett, Yeting Ge
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:43-51 [Journal]
- Amir Pnueli, Ofer Strichman
Reduced Functional Consistency of Uninterpreted Functions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:53-65 [Journal]
- Tjark Weber
Integrating a SAT Solver with an LCF-style Theorem Prover. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:67-78 [Journal]
- Ian Wehrman, Aaron Stump
Mining Propositional Simplification Proofs for Small Validating Clauses. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:79-91 [Journal]
|