Fuchs, Marc

3 publications

JAIR 1999 Cooperation Between Top-Down and Bottom-up Theorem Provers Dirk Fuchs, Marc Fuchs

IJCAI 1999 Lemma Generation for Model Elimination by Combining Top-Down and Bottom-up Inference Marc Fuchs

IJCAI 1997 High Performance ATP Systems by Combining Several AI Methods Jörg Denzinger, Marc Fuchs, Matthias Fuchs