|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals |
Lahiri, Shuvendu K. |
2006 |
144 | 2 |
p. 27-41 15 p. |
artikel |
|
| 2 | Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite |
McLaughlin, Sean |
2006 |
144 | 2 |
p. 43-51 9 p. |
artikel |
|
| 3 | Encoding RTL Constructs for MathSAT: a Preliminary Report |
Bozzano, Marco |
2006 |
144 | 2 |
p. 3-14 12 p. |
artikel |
|
| 4 | Integrating a SAT Solver with an LCF-style Theorem Prover |
Weber, Tjark |
2006 |
144 | 2 |
p. 67-78 12 p. |
artikel |
|
| 5 | Mining Propositional Simplification Proofs for Small Validating Clauses |
Wehrman, Ian |
2006 |
144 | 2 |
p. 79-91 13 p. |
artikel |
|
| 6 | Preface |
Armando, Alessandro |
2006 |
144 | 2 |
p. 1-2 2 p. |
artikel |
|
| 7 | Reduced Functional Consistency of Uninterpreted Functions |
Pnueli, Amir |
2006 |
144 | 2 |
p. 53-65 13 p. |
artikel |
|
| 8 | Tool Building Requirements for an API to First-Order Solvers |
Grundy, Jim |
2006 |
144 | 2 |
p. 15-26 12 p. |
artikel |
8 gevonden resultaten