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
2,346
H-index
24
i10-index
54
Publications
20
Co-authors
48
list available
Contact
Email
sbuss@ucsd.edu
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
Resume (English only)
Academic Achievements
Author of '3D Computer Graphics: A Mathematical Introduction with OpenGL' (Cambridge University Press, 2003)
Working on a second edition with draft available online for feedback
Draft textbook 'Introduction to Mathematical Logic'
Provides accompanying modern OpenGL software and tutorials
Maintains a webpage with publications, most available for download
Co-authors
48 total
Maria Luisa Bonet
LSI, UPC
Arnold Beckmann
Professor of Computer Science, Swansea University
Co-author 3
Russell Impagliazzo
UCSD
Co-author 5
Neil Thapen
Researcher, Institute of Mathematics, Czech Academy of Sciences
Co-author 7
Jan Krajicek
Charles University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up