|
Search the dblp DataBase
Tim Geisler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Heribert Schütz, Tim Geisler
Efficient Model Generation through Compilation. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:433-447 [Conf]
- Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler
The theorem prover SATCHMO : strategies, heuristics and applications. [Citation Graph (0, 0)][DBLP] JFPLC, 1995, pp:349-0 [Conf]
- Norbert Eisinger, Tim Geisler, Sven Panne
Logic Implemented Functionally. [Citation Graph (0, 0)][DBLP] PLILP, 1997, pp:351-368 [Conf]
- Clemens Beckstein, Tim Geisler
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. [Citation Graph (0, 0)][DBLP] TIME, 1994, pp:35-41 [Conf]
- Heribert Schütz, Tim Geisler
Efficient Model Generation through Compilation. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:162, n:1-2, pp:138-157 [Journal]
- Tim Geisler, Sven Panne, Heribert Schütz
Satchmo - The Compiling and Functional Variants. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:18, n:2, pp:227-236 [Journal]
Search in 0.001secs, Finished in 0.001secs
|