Matthias Fuchs
-
A feature-based learning method for theorem proving
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Feature‐based learning of search‐guiding heuristics for theorem proving
AI Communications