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:
2012
2000
1999
1997199119871985Wrote 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.