bibliographer - Michael Alekhnovich

bibliographer a curated TCS bibliography

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

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas Michael Alekhnovich Edward A. Hirsch Dmitry Itsykson [github]

Resolution Is Not Automatizable Unless W[P] Is Tractable Michael Alekhnovich Alexander A. Razborov [github]

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

[show logs] [hide logs]