|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Practical Approach to Partial Functions in CVC Lite |
Berezin, Sergey |
2005 |
125 | 3 |
p. 13-23 11 p. |
article |
|
| 2 | Bounded Model Generation for Isabelle/HOL |
Weber, Tjark |
2005 |
125 | 3 |
p. 103-116 14 p. |
article |
|
| 3 | Combining Non-stably Infinite, Non-first Order Theories |
Fontaine, Pascal |
2005 |
125 | 3 |
p. 37-51 15 p. |
article |
|
| 4 | Combining SAT Methods with Non-Clausal Decision Heuristics |
Barrett, Clark |
2005 |
125 | 3 |
p. 3-12 10 p. |
article |
|
| 5 | Gödel-Dummett Counter-models through Matrix Computation |
Larchey-Wendling, Dominique |
2005 |
125 | 3 |
p. 137-148 12 p. |
article |
|
| 6 | Justifying Equality |
de Moura, Leonardo |
2005 |
125 | 3 |
p. 69-85 17 p. |
article |
|
| 7 | Preface |
Ahrendt, Wolfgang |
2005 |
125 | 3 |
p. 1-2 2 p. |
article |
|
| 8 | Reducing Symmetries to Generate Easier SAT Instances |
Zhang, Jian |
2005 |
125 | 3 |
p. 149-164 16 p. |
article |
|
| 9 | Resource Graphs and Countermodels in Resource Logics |
Galmiche, Didier |
2005 |
125 | 3 |
p. 117-135 19 p. |
article |
|
| 10 | The TM System for Repairing Non-Theorems |
Colton, Simon |
2005 |
125 | 3 |
p. 87-101 15 p. |
article |
|
| 11 | TSAT++ : an Open Platform for Satisfiability Modulo Theories |
Armando, Alessandro |
2005 |
125 | 3 |
p. 25-36 12 p. |
article |
|
| 12 | Validated Proof-Producing Decision Procedures |
Klapper, Robert |
2005 |
125 | 3 |
p. 53-68 16 p. |
article |
12 results found