Concepedia

Sam Buss

SB

22

Publications

1K

Citations

18

H-Index

1985

Active since

Affiliations

University of California San Diego(Current)

Universitat Politècnica de Catalunya

University of Arizona

University of California System

Stanford University

Sam Buss is an author at University of California San Diego specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityProof ComplexityDiscrete MathematicsAutomated ReasoningFormal MethodsSatisfiabilityCircuit ComplexityComputational Geometry

Publications per year

1985–2019

22

Publications

22

The Boolean formula value problem is in ALOGTIME

Sam Buss · 1987 · 240 citations

Theory Of Computing, Boolean Function, Alert Preferences +4

Proof complexity in algebraic systems and bounded depth Frege systems with modular counting

Sam Buss, Russell Impagliazzo, Pavel Pudlák et al. · Computational Complexity · 1996 · 116 citations

Engineering, Computational Number Theory, Proof Complexity +7

An Optimal Parallel Algorithm for Formula Evaluation

Sam Buss, Stephen Cook, Ajay Gupta et al. · SIAM Journal on Computing · 1992 · 86 citations

Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct Primes

Sam Buss, Dima Grigoriev, Russell Impagliazzo et al. · Journal of Computer and System Sciences · 2001 · 79 citations

Geometry Of Number, Computational Number Theory, Linear Gaps +4

A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution

Nathan Segerlind, Sam Buss, Russell Impagliazzo · SIAM Journal on Computing · 2004 · 76 citations

Circuit Complexity, Small Restrictions, Engineering +15

Rows per page

1–5 of 22