Scholar
Sam Buss
Google Scholar ID: HlXPvCoAAAAJ
Professor of Mathematics and Computer Science
Logic
Theory of Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
9,382
H-index
45
i10-index
116
Publications
20
Co-authors
48
list available
Publications
3 items
Redundancy rules for MaxSAT
2025
Cited
0
A Logspace Constructive Proof of L=SL
2025
Cited
0
Extended Resolution Clause Learning via Dual Implication Points
arXiv.org · 2024
Cited
0
Co-authors
12 total
Maria Luisa Bonet
LSI, UPC
Arnold Beckmann
Professor of Computer Science, Swansea University
Pavel Pudlák
researcher, Institute of Mathematics, CAS
Russell Impagliazzo
UCSD
Neil Thapen
Researcher, Institute of Mathematics, Czech Academy of Sciences
Jan Krajicek
Charles University
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
Alexey Ignatiev
Associate Professor, Monash University
