bibliographer - Toniann Pitassi

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

High Rate Efficient Local List Decoding from HDX Yotam Dikstein Max Hopkins Russell Impagliazzo Toniann Pitassi [github]

Exponential lower bounds for the pigeonhole principle Toniann Pitassi Paul Beame Russell Impagliazzo [github]

Non-Automatizability of Bounded-Depth Frege Proofs Maria Luisa Bonet Carlos Domingo Ricard Gavaldà Alexis Maciel Toniann Pitassi [github]

Deterministic Communication vs. Partition Number Mika Goos Toniann Pitassi Thomas Watson [github]

Lower Bounds for LovásztextendashSchrijver Systems and Beyond Follow from Multiparty Communication Complexity Paul Beame Toniann Pitassi Nathan Segerlind [github]

On Interpolation and Automatization for Frege Systems Maria Luisa Bonet Toniann Pitassi Ran Raz [github]

Hardness amplification in proof complexity Paul Beame Trinh Huynh Toniann Pitassi [github]

The relative complexity of NP search problems Paul Beame Stephen Cook Jeff Edmonds Russell Impagliazzo Toniann Pitassi [github]

Communication lower bounds via critical block sensitivity Mika Göös Toniann Pitassi [github]

Circuit Complexity, Proof Complexity, and Polynomial Identity Testing Joshua A. Grochow Toniann Pitassi [github]

Lower bounds for cutting planes proofs with small coefficients Maria Bonet Toniann Pitassi Ran Raz [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]