Tim Geisler

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

Collaborative distances:

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

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

1996

Efficient Model Generation through Compilation.

Heribert Schütz, Tim Geisler

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

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