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