21 citations · 29 across the 9 of their papers we have counts for
1 paper · 1 filter
Jan Jakubův, Josef Urban
ENIGMA is a learning-based method for guiding given clause selection in saturation-based theorem provers. Clauses from many proof searches are classified as positive and negative b…