activity
20042024
most citedHow much randomness is needed for statistics?

3 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019★ 1 cited

DRAT and Propagation Redundancy Proofs Without New Variables

Sam Buss, Neil Thapen

We study the complexity of a range of propositional proof systems which allow inference rules of the form: from a set of clauses derive the set of clauses where…