Search filters

List of works by Samuel Buss

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning

scientific article published in 2012

Collapsing modular counting in bounded arithmetic and constant depth propositional proofs

scientific article published in 2015

Lower Bounds on OBDD Proofs with Several Orders

scientific article published in 2021

On transformations of constant depth propositional proofs

scientific article published in 2019

QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS

scientific article published in 2016

Quasipolynomial size proofs of the propositional pigeonhole principle

scientific article published in 2015

Short Proofs of the Kneser-Lovász Coloring Principle

scientific article published in 2015

Short proofs of the Kneser–Lovász coloring principle

scientific article published in 2018

The NP Search Problems of Frege and Extended Frege Proofs

scientific article published in 2017

Uniform proofs of ACC representations

scientific article published in 2017

Paulina is supported by:

About Paulina

Help