Learning search-control heuristics for automated deduction systems with folding architecture networks - researchr publication

researchr

You are not signed in
Sign in
Sign up

Christoph Goller. Learning search-control heuristics for automated deduction systems with folding architecture networks. In ESANN 1999, 7th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 21-23, 1999, Proceedings. pages 45-50, 1999. [doi]

Abstract is missing.

runs on WebDSL