Share:

Noah Fleming

ScholarGPS® ID: 73418350359424

Affiliation

University of Toronto, Toronto, Canada

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Metrics Summary

Publication Count

7

Predicted Citations

48

Predicted h-index

3

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes (journal article) Fleming, Noah \| Pankratov, Denis \| Pitassi, Toniann \| Robere, Robert Journal of the ACM, volume 69, issue 3, pages 1-32 (2022). 10.1145/3486680 Cited by (1) \| Cite \| Source
Reflections on Proof Complexity and Counting Principles (book chapter) In Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Fleming, Noah \| Pitassi, Toniann Springer International Publishing (2022) 10.1007/978-3-030-71430-7_18 Cite \| Source
On the Hierarchical Community Structure of Practical Boolean Formulas (book chapter) In Theory and Applications of Satisfiability Testing – SAT 2021 Li, Chunxiao \| Chung, Jonathan \| Mukherjee, Soham \| Vinyals, Marc \| Fleming, Noah \| Kolokolova, Antonina \| Mu, Alice \| Ganesh, Vijay Springer International Publishing (2021) 10.1007/978-3-030-80223-3_25 Cited by (1) \| Cite \| Source
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers (book chapter) In Theory and Applications of Satisfiability Testing – SAT 2020 Li, Chunxiao \| Fleming, Noah \| Vinyals, Marc \| Pitassi, Toniann \| Ganesh, Vijay Springer International Publishing (2020) 10.1007/978-3-030-51825-7_17 Cited by (3) \| Cite \| Source
Semialgebraic Proofs and Efficient Algorithm Design (journal article) Fleming, Noah \| Kothari, Pravesh \| Pitassi, Toniann Foundations and Trends® in Theoretical Computer Science, volume 14, issue 1-2, pages 1-221 (2018). 10.1561/0400000086 Cited by (27) \| Cite \| Source
Random Θ(log n)-CNFs Are Hard for Cutting Planes (conference) Fleming, Noah \| Pankratov, Denis \| Pitassi, Toniann \| Robere, Robert 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) (2017) Berkeley, CA 10.1109/FOCS.2017.19 Cited by (6) \| Cite \| Source
Predicting Protein Thermostability Upon Mutation Using Molecular Dynamics Timeseries Data (journal article) Fleming, Noah \| Kinsella, B. Therese \| Ing, Christopher bioRxiv (2016). 10.1101/078246 Cited by (4) \| Cite \| Source \| Open Access