| E–a brainiac theorem prover S Schulz Ai Communications 15 (2-3), 111-126, 2002 | 668 | 2002 |
| System description: E 1.8 S Schulz International Conference on Logic for Programming Artificial Intelligence …, 2013 | 337 | 2013 |
| Faster, higher, stronger: E 2.3 S Schulz, S Cruanes, P Vukmirović Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 164 | 2019 |
| New results on rewrite-based satisfiability procedures A Armando, MP Bonacina, S Ranise, S Schulz ACM Transactions on Computational Logic (TOCL) 10 (1), 1-51, 2009 | 125 | 2009 |
| System description: E 0.81 S Schulz Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004 | 110 | 2004 |
| MathSAT: Tight Integration of SAT and Mathematical Decision Procedures M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Journal of Automated Reasoning 35 (1), 265-293, 2005 | 103 | 2005 |
| Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18, 189-198, 1997 | 102 | 1997 |
| An incremental and layered procedure for the satisfiability of linear arithmetic logic M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 95 | 2005 |
| The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 87 | 2012 |
| TSTP data-exchange formats for automated theorem proving tools G Sutcliffe, J Zimmer, S Schulz Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004 | 83 | 2004 |
| Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, A Van Gelder Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 78 | 2006 |
| The mathsat 3 system M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 78 | 2005 |
| Simple and efficient clause subsumption with feature vector indexing S Schulz Automated Reasoning and Mathematics: Essays in Memory of William W. McCune …, 2013 | 73 | 2013 |
| Performance of clause selection heuristics for saturation-based theorem proving S Schulz, M Möhrmann Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 68 | 2016 |
| System abstract: E 0.61 S Schulz Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001 | 55 | 2001 |
| Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996 | 55 | 1996 |
| Extending a brainiac prover to lambda-free higher-order logic P Vukmirović, J Blanchette, S Cruanes, S Schulz International Journal on Software Tools for Technology Transfer 24 (1), 67-87, 2022 | 51 | 2022 |
| On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal A Armando, MP Bonacina, S Ranise, S Schulz International Workshop on Frontiers of Combining Systems, 65-80, 2005 | 51 | 2005 |
| Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996 | 49 | 1996 |
| A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. S Schulz FLAIRS 2, 72-76, 2002 | 45 | 2002 |
Geoff SutcliffeDepartment of Computer Science, University of Miami在 cs.miami.edu 的电子邮件经过验证
