Samuel R. Buss
ScholarGPS® ID: 25596220642328
Affiliation History
Discipline
Mathematics
Top Specialties
Logic | Graphics | Computer Graphics | Calculus | Artificial Intelligence | Food Coloring | Kinematics
Metrics Summary
Publication Count
151
Predicted Citations
4,165
Predicted h-index
33
Ranking
Publications and Citation History
Publications based on Top Specialties
Types of Publication
- Publications
- Books
- Patents
- NIH/NSF
|
Add
Delete
|
|---|
Regular resolution effectively simulates resolution (journal article) Information Processing Letters, volume 186 (2024). |
STOC '23: 55th Annual ACM Symposium on Theory of Computing (2023) Orlando FL USA |
Substitution and Propositional Proof Complexity (book chapter) In Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Springer International Publishing (2022) |
Propositional proof systems based on maximum satisfiability (journal article) Artificial Intelligence, volume 300 (2021). |
Lower Bounds on OBDD Proofs with Several Orders (journal article) ACM Transactions on Computational Logic, volume 22, issue 4, pages 1-30 (2021). |
Mathematical Logic: Proof Theory, Constructive Mathematics (journal article) Oberwolfach Reports, volume 17, issue 4, pages 1693-1757 (2021). |
Expander construction in VNC1 (journal article) Annals of Pure and Applied Logic, volume 171, issue 7, pages 102796- (2020). |
2-D Tucker is PPA complete (journal article) Journal of Computer and System Sciences, volume 108 (2020). |
On transformations of constant depth propositional proofs (journal article) Annals of Pure and Applied Logic, volume 170, issue 10, pages 1176-1187 (2019). |
DRMaxSAT with MaxHS: First Contact (book chapter) In Theory and Applications of Satisfiability Testing – SAT 2019 Springer International Publishing (2019) |
DRAT Proofs, Propagation Redundancy, and Extended Resolution (book chapter) In Theory and Applications of Satisfiability Testing – SAT 2019 Springer International Publishing (2019) |
Feasible set functions have small circuits (journal article) Computability, volume 8, issue 1, pages 67-98 (2018). |
Mathematical Logic: Proof Theory, Constructive Mathematics (journal article) Oberwolfach Reports, volume 14, issue 4, pages 3121-3183 (2018). |
Mathematical Logic Quarterly, volume 64, issue 6, pages 505-513 (2018). |
Short proofs of the Kneser–Lovász coloring principle (journal article) Information and Computation, volume 261 (2018). |
Reordering rule makes OBDD proof systems stronger (conference) Conference on Computational Complexity (2018) |
Gray: a ray tracing-based Monte Carlo simulator for PET (journal article) Physics in Medicine & Biology, volume 63, issue 10, pages 105019- (2018). |
MaxSAT Resolution With the Dual Rail Encoding (journal article) Proceedings of the AAAI Conference on Artificial Intelligence, volume 32, issue 1 (2018). |
Uniform proofs of ACC representations (journal article) Archive for Mathematical Logic, volume 56, issue 5-6, pages 639-669 (2017). |
COBHAM RECURSIVE SET FUNCTIONS AND WEAK SET THEORIES (book chapter) In Sets and Computations WORLD SCIENTIFIC (2017) |