Samuel R. Buss

Identifiers

• name variant Samuel R. Buss 0.60 · backfill

Papers (2)

1. Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning cs.LO · 2008 · author #1
2. The prospects for mathematical logic in the twenty-first century cs.LO · 2002 · author #1

Mentions

• 0811.1075 #1 · backfill · confidence 0.70 Samuel R. Buss

Frequent Coauthors

• Alexander S. Kechris 1 shared papers
• Anand Pillay 1 shared papers
• Jan Hoffmann 1 shared papers
• Jan Johannsen 1 shared papers
• Richard A. Shore 1 shared papers