bibliographer - Dmitry Sokolov

bibliographer a curated TCS bibliography

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

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs Susanna F. de Rezende Jakob Nordstrøm Kilian Risse Dmitry Sokolov [github]

Monotone Circuit Lower Bounds from Resolution Ankit Garg Mika Gøøs Pritish Kamath Dmitry Sokolov [github]

Library Size: 13G (2 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]