bibliographer - Stefan Szeider

bibliographer a curated TCS bibliography

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

On the complexity of some colorful problems parameterized by treewidth Michael R. Fellows Fedor V. Fomin Daniel Lokshtanov Frances Rosamond Saket Saurabh Stefan Szeider Carsten Thomassen [github]

Monadic second order logic on graphs with local cardinality constraints Stefan Szeider [github]

Model Checking Existential Logic on Partially Ordered Sets Simone Bova Robert Ganian Stefan Szeider [github]

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

[show logs] [hide logs]