`Travelled to:`

1 × Denmark

1 × Italy

1 × The Netherlands

4 × USA

`Collaborated with:`

M.L.Bonet ∅ T.Pitassi B.M.Kapron D.Grigoriev R.Impagliazzo

`Talks about:`

resolut (3) polynomi (2) bound (2) pigeonhol (1) hierarchi (1) sequenti (1) principl (1) function (1) fragment (1) distinct (1)

## Person: Samuel R. Buss

### DBLP: Buss:Samuel_R=

### Contributed to:

### Wrote 7 papers:

- SAT-2012-BonetB #learning
- An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (MLB, SRB), pp. 44–57.
- LICS-2000-BussK #bound
- Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
- STOC-1999-BussGIP #calculus #linear #polynomial
- Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (SRB, DG, RI, TP), pp. 547–556.
- CSL-1997-BussP #principle
- Resolution and the Weak Pigeonhole Principle (SRB, TP), pp. 149–156.
- LICS-1991-BonetB #deduction #on the #proving
- On the Deduction Rule and the Number of Proof Lines (MLB, SRB), pp. 286–297.
- STOC-1987-Buss #problem
- The Boolean Formula Value Problem Is in ALOGTIME (SRB), pp. 123–131.
- STOC-1985-Buss #bound #polynomial
- The Polynomial Hierarchy and Fragments of Bounded Arithmetic (SRB), pp. 285–290.