Aaron Stump

Artificial Intelligence · 2010–2014

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 6 citations into it; #22,785 of 35,345 by trust here, #31,361 by citations
• Computational Theory and Mathematics — 5 citations into it

Whom Aaron Stump trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Geoff Sutcliffe
2. Clark W. Barrett

Who trusts Aaron Stump overall

1. Tim King
2. Jinqiang Yu
3. Rajeev Alur
4. Clark W. Barrett
5. Iwo Bladek
6. Malik Ghallab
7. Sergey Mechtaev
8. Alexey Ignatiev
9. Cesare Tinelli
10. Alexander L. Gaunt

Papers from Aaron Stump's perspective

Ordered by how strongly the researchers Aaron Stump trusts endorse each paper. Same corpus, a different order for every researcher.

1. The TPTP Problem Library and Associated Infrastructure (Journal of automated reasoning)
2. The SMT-LIB Standard Version 2.0
3. The SMT-LIB Standard: Version 1.2
4. SATLIB: An Online Resource for Research on SAT
5. Satisfiability Modulo Theories
6. An Effective Heuristic Algorithm for the Traveling-Salesman Problem
7. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
8. GRASP: A Search Algorithm for Propositional Satisfiability
9. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
10. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)

Their papers

• Introducing StarExec: a Cross-Community Infrastructure for Logic Solving (2014) — 217 citations
• The SMT-LIB Standard Version 2.0 (2010) — 1,230 citations