| 2000 |
|---|
| 6 | | Heribert Schütz,
Tim Geisler:
Efficient Model Generation through Compilation.
Inf. Comput. 162(1-2): 138-157 (2000) |
| 1997 |
|---|
| 5 | | Norbert Eisinger,
Tim Geisler,
Sven Panne:
Logic Implemented Functionally.
PLILP 1997: 351-368 |
| 4 | | Tim Geisler,
Sven Panne,
Heribert Schütz:
Satchmo - The Compiling and Functional Variants.
J. Autom. Reasoning 18(2): 227-236 (1997) |
| 1996 |
|---|
| 3 | | Heribert Schütz,
Tim Geisler:
Efficient Model Generation through Compilation.
CADE 1996: 433-447 |
| 1995 |
|---|
| 2 | | Slim Abdennadher,
François Bry,
Norbert Eisinger,
Tim Geisler:
The theorem prover SATCHMO : strategies, heuristics and applications.
JFPLC 1995: 349- |
| 1994 |
|---|
| 1 | EE | Clemens Beckstein,
Tim Geisler:
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning.
TIME 1994: 35-41 |
