7 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Eser Aygün, Laurent Orseau, Ankit Anand +5
Traditional automated theorem provers for first-order logic depend on speed-optimized search and many handcrafted heuristics that are designed to work best over a wide range of dom…