Faculty

Institution

Unit

Venue

Samuel R. Buss

Professor

University of California, San Diego

Affiliations

Jacobs School of Engineering

Computer Science & Engineering

Samuel R. Buss is currently serving as a Computer Science & Engineering Professor at University of California, San Diego.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Samuel R. Buss

University of California, San Diego

Professor

You can click a keyword to filter the displayed items

computer science applied mathematics formal methods mathematical logic mathematics logic in computer science proof theory applied logic formal verification theoretical computer science automated reasoning computability theory knowledge representation and reasoning computational complexity linguistics machine learning classical logic computational logic algorithmic information theory philosophical logic scientific computing propositional logic foundation of mathematics computational complexity theory proof complexity regular resolution mathematical proof logical reasoning automated deduction system science combinatorial optimization numerical simulations machine learning research information theory proof system formal mathematical reasoning logical analysis intuitionistic logic function theory satisfiability geometric interpolation first-order logic modular counting resolution proofs propositional proofs polynomial hierarchy propositional proof complexity time-space lower bounds computational intelligence approximate reasoning combinatorial theory mathematical optimization numerical algorithms historical review research library numerical mathematics sat solving defeasible logic logical frameworks trace elements expressive rendering linear logic computer modeling predictability chaos theory search technique equational logic spherical splines spherical averages inverse kinematics propositional pigeonhole principle polynomial size proofs algebraic systems truth-table reducibility generalized pigeonhole principles separation problems

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Reports (2024)

Samuel BussRosalie IemhoffUlrich KohlenbachMichael Rathjen

computer scienceconstructive mathematicsmathematical logicproof theoryalgorithmic information theory

Regular Resolution Effectively Simulates Resolution. arXiv (Cornell University) (2024)

Buss, SamYolcu, Emre

computer scienceregular resolutionmodeling and simulation

An Introduction to Proof Theory. Oxford University Press eBooks (2021)

Paolo MancosuSergio GalvanRichard Zach

proof theoryfoundation of mathematicsmathematical logicmathematics

Lower Bounds on Obdd Proofs With Several Orders. ACM transactions on computational logic (2021)

Sam BussDmitry ItsyksonAlexander KnopArtur RiazanovDmitry Sokolov

computer scienceobdd proofsseveral orderscomputational logicmachine learningformal methods

Propositional Proof Systems Based on Maximum Satisfiability. Artificial Intelligence (2021)

Maria Luisa BonetSam BussAlexey IgnatievAntonio MorgadoJoao Marques-Silva

artificial intelligencecomputer sciencemaximum satisfiabilitysatisfiabilitypropositional proof systemsformal methods

Texture Mapping. A K Peters/CRC Press eBooks (2021)

Steve MarschnerPeter Shirley

computer graphicssurface detaildigital earthtexture coordinatesgraphicstexture (visual arts)texture mappingcomputational imagingdigital image processingimage representationmachine visionimage analysisrealistic renderingsurface modeling

2-D Tucker is Ppa Complete. Journal of computer and system sciences (2020)

James AisenbergMaria Luisa BonetSam Buss

computer sciencesystems engineeringtechnologysystem sciencescientific computingcomputational philosophytheoretical computer sciencetheory of computation

Expander Construction in Vnc1. Annals of pure and applied logic (2020)

Sam BussValentine KabanetsAntonina KolokolovaMichal Koucký

applied mathematicsapplied logicexpander construction

Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. Computer Science Logic (2020)

Sam BussAnupam DasAlexander Knop

computer scienceproof complexityformal verification

Drat and Propagation Redundancy Proofs Without New Variables. Logical Methods in Computer Science (2019)

Sam BussNeil Thapen

computer sciencepropagation redundancy proofsknowledge representation and reasoningapplied physicsformal methodsaerospace engineering

1
2
3
4
5
13
10 / page

Samuel R. Buss

Professor

University of California, San Diego

Affiliations

Jacobs School of Engineering

Computer Science & Engineering

Samuel R. Buss is currently serving as a Computer Science & Engineering Professor at University of California, San Diego.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Samuel R. Buss

University of California, San Diego

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Reports (2024)

Samuel BussRosalie IemhoffUlrich KohlenbachMichael Rathjen

computer scienceconstructive mathematicsmathematical logicproof theoryalgorithmic information theory

Regular Resolution Effectively Simulates Resolution. arXiv (Cornell University) (2024)

Buss, SamYolcu, Emre

computer scienceregular resolutionmodeling and simulation

An Introduction to Proof Theory. Oxford University Press eBooks (2021)

Paolo MancosuSergio GalvanRichard Zach

proof theoryfoundation of mathematicsmathematical logicmathematics

Lower Bounds on Obdd Proofs With Several Orders. ACM transactions on computational logic (2021)

Sam BussDmitry ItsyksonAlexander KnopArtur RiazanovDmitry Sokolov

computer scienceobdd proofsseveral orderscomputational logicmachine learningformal methods

Propositional Proof Systems Based on Maximum Satisfiability. Artificial Intelligence (2021)

Maria Luisa BonetSam BussAlexey IgnatievAntonio MorgadoJoao Marques-Silva

artificial intelligencecomputer sciencemaximum satisfiabilitysatisfiabilitypropositional proof systemsformal methods

Texture Mapping. A K Peters/CRC Press eBooks (2021)

Steve MarschnerPeter Shirley

2-D Tucker is Ppa Complete. Journal of computer and system sciences (2020)

James AisenbergMaria Luisa BonetSam Buss

computer sciencesystems engineeringtechnologysystem sciencescientific computingcomputational philosophytheoretical computer sciencetheory of computation

Expander Construction in Vnc1. Annals of pure and applied logic (2020)

Sam BussValentine KabanetsAntonina KolokolovaMichal Koucký

applied mathematicsapplied logicexpander construction

Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. Computer Science Logic (2020)

Sam BussAnupam DasAlexander Knop

computer scienceproof complexityformal verification

Drat and Propagation Redundancy Proofs Without New Variables. Logical Methods in Computer Science (2019)

Sam BussNeil Thapen

computer sciencepropagation redundancy proofsknowledge representation and reasoningapplied physicsformal methodsaerospace engineering

1
2
3
4
5
13
10 / page

Similar Faculty Members

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Victor Marek

Institution

University of Kentucky

computer-assisted reasoning

logic in computer science

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Phokion G. Kolaitis

Institution

University of California, Santa Cruz

general system

computational complexity

Dana Angluin

Institution

Yale University

computational complexity

learning formal languages

Miroslaw Truszczynski

Institution

University of Kentucky

computer-assisted reasoning

constraint satisfaction

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Kfoury

Institution

Boston University

logic programming

mathematical logic

Similar Faculty Members

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Victor Marek

Institution

University of Kentucky

computer-assisted reasoning

logic in computer science

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Phokion G. Kolaitis

Institution

University of California, Santa Cruz

general system

computational complexity

Dana Angluin

Institution

Yale University

computational complexity

learning formal languages

Miroslaw Truszczynski

Institution

University of Kentucky

computer-assisted reasoning

constraint satisfaction

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Kfoury

Institution

Boston University

logic programming

mathematical logic