Journal of Automated Reasoning · 2015 · 102 citations · 25 references
ComputingComputer ScienceMathematicsFormal MethodsGeomaticsGeometryAlgebraic GeometryDeductive VerificationEuclidean GeometryProof AssistantsProof ComplexityTheorem ProvingAlgebraic Geometry ComputationAutomated Theorem ProvingAutomated Theorem Proving In AlgebraAutomatic Theorem ProvingComputational Algebraic Geometry
25
SATzilla: Portfolio-based Algorithm Selection for SAT
Lizhong Xu, Frank Hutter, Holger H. Hoos et al. · Journal of Artificial Intelligence Research · 2008 · 835 citations · Full text
A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
Jeremy Avigad, Edward Dean, John Mumma · The Review of Symbolic Logic · 2009 · 144 citations · Full text