Joachim Draeger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1998–2001
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | FlAIRS | Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. | Joachim Draeger, Stephan Schulz |
| 2000 | TABLEAUX | Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. | Joachim Draeger |
| 1999 | FlAIRS | Strategy Parallelism and Lemma Evaluation. | Joachim Draeger, Andreas Wolf |
| 1999 | TABLEAUX | Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). | Andreas Wolf, Joachim Draeger |
| 1998 | AIMSA | Acquisition of Useful Lemma-Knowledge in Automated Reasoning. | Joachim Draeger |