Dirk Fuchs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1997–1999
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | CADE | Abstraction-Based Relevancy Testing for Model Elimination. | Marc Fuchs, Dirk Fuchs |
| 1999 | GECCO | Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. | Marc Fuchs, Dirk Fuchs, Matthias Fuchs |
| 1999 | IJCAI | Cooperation of Heterogeneous Provers . | Jrg Denzinger, Dirk Fuchs |
| 1998 | AISC | Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. | Dirk Fuchs |
| 1998 | JELIA | Requirement-Based Cooperative Theorem Proving. | Dirk Fuchs |
| 1997 | CADE | CODE: A Powerful Prover for Problems of Condensed Detachment. | Dirk Fuchs, Matthias Fuchs |
| 1997 | EPIA | Inference Rights for Controlling Search in Generating Theorem Provers. | Dirk Fuchs |