Searching for authors named Marc Fuchs – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Similarity-Based Lemma Generation for Model Elimination
- …Similarity-Based Lemma Generation for Model Elimination Marc Fuchs 1 Introduction ATP systems…
- Cited by 3 (2 self) – Add To MetaCart
-
Controlled Use of Clausal Lemmas in Connection Tableau Calculi
- … in Connection Tableau Calculi Report AR-98-02 Marc Fuchs Institut fur Informatik TU Munchen Germany TU Munchen…
- Cited by 7 (0 self) – Add To MetaCart
-
Flexible Proof-Replay with Heuristics
- …Flexible Proof-Replay with Heuristics Marc Fuchs Institut fur Informatik TU Munchen 80290 Munchen…
- Cited by 3 (3 self) – Add To MetaCart
-
High Performance ATP Systems by Combining Several AI Methods
- … 67653 Kaiserslautern Germany E-mail: fdenzingejfuchsg@(email omitted); Marc Fuchs Fakultat fur…
- Cited by 7 (1 self) – Add To MetaCart
-
Similarity-Based Lemma Generation with Lemma-Delaying Tableaux Enumeration
- … Marc Fuchs TUM-I9743 SFB-Bericht Nr. 342/26/97 August TUM--INFO--08-I9743-150/1.--FI Alle Rechte…
- Add To MetaCart
-
Fakult At F Ur Informatik
- …-guiding Heuristics for Theorem Proving Report AR-98-03 Marc Fuchs Institut fur Informatik TU Munchen Germany…
- Add To MetaCart
-
Simultaneous Evolution of Structure and Activation Function Function Types in Generalized Multi-Layer Perceptrons
- …, Spain Helmut A. Mayer Marc Strapetz Roman Fuchs + helmut@(email omitted); mstrap…
- Add To MetaCart
-
To Katja Acknowledgements
- …, Jörg Denzinger, Robert Eschbach, Dirk Fuchs, Marc Fuchs, Matthias Fuchs, Thomas Hillenbrand, Christoph…
- Add To MetaCart
Showing 1 through 8.
