BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Buss:Samuel_R=

Contributed to:

SAT 20122012
LICS 20002000
STOC 19991999
CSL 19971997
LICS 19911991
STOC 19871987
STOC 19851985

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.