A parallel algorithm for set-of-support von Grosse, Malte, Suttner, Christian B., Suttner, Christian B.

Learning heuristics for a theorem prover using back propagation von Schumann, Johann M., Ertel, Wolfgang, Suttner, Christian B.

Automatic acquisition of search guiding heuristics von Suttner, Christian B., Ertel, Wolfgang

Dependent deletion a refinement of backward subsumption von Suttner, Christian B.

The TPTP problem library von Suttner, Christian B., Sutcliffe, Geoff, Yemenis, Theodoros

Inhaltsverzeichnis

Using connectionist networks for guiding the search of a theorem prover von Suttner, Christian B., Ertel, Wolfgang

Learning heuristics for a theorem prover using back propagation von Ertel, Wolfgang, Schumann, Johann M., Suttner, Christian B.