Tim Geisler

According to our database, Tim Geisler authored at least 5 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Efficient Model Generation through Compilation.

Heribert Schütz, Tim Geisler

Inf. Comput., 2000

1997

Satchmo - The Compiling and Functional Variants.

Tim Geisler, Sven Panne, Heribert Schütz

J. Autom. Reason., 1997

Logic Implemented Functionally.

Norbert Eisinger, Tim Geisler, Sven Panne

Proceedings of the Programming Languages: Implementations, 1997

1995

The theorem prover SATCHMO : strategies, heuristics and applications.

Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler

Proceedings of the JFPLC'95, 1995

1994

An Application-independent Support System for Integrated Assumption-based Temporal Reasoning.

Clemens Beckstein, Tim Geisler

Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994