bibliographer - Jakob Nordstrøm

bibliographer a curated TCS bibliography

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

Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Grøbner Bases Massimo Lauria Jakob Nordstrøm [github]

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]

CNFgen: A Generator of Crafted Benchmarks Massimo Lauria Jan Elffers Jakob Nordstrøm Marc Vinyals [github]

Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps Christoph Berkholz Jakob Nordström [github]

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

[show logs] [hide logs]