Marc Fuchs (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

10		Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
4		Marc Fuchs, Matthias Fuchs: Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. AI Commun. 11(3-4): 175-189 (1998)
2		Marc Fuchs, Matthias Fuchs: Applying Case-Based Reasoning to Automated Deduction. ICCBR 1997: 23-32
1		Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107

Selection of 4 from 13 records - Marc Fuchs has 5 coauthors