Follow
Simon Schäfer
Simon Schäfer
DHBW Stuttgart
Verified email at simon-schaefer.net
Title
Cited by
Cited by
Year
Breeding Theorem Proving Heuristics with Genetic Algorithms.
S Schäfer, S Schulz
GCAI, 263-274, 2015
352015
The system can't perform the operation now. Try again later.