bibliographer - Ondřej Kużelka

bibliographer a curated TCS bibliography

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

Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondřej Kużelka Yuanhong Wang Yuyi Wang [github]

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat Jan Tóth Ondřej Kużelka [github]

On Discovering Interesting Combinatorial Integer Sequences Martin Svatoš Peter Jung Jan Tth Yuyi Wang Ondřej Kuželka [github]

Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions Yuanhong Wang Timothy van Bremen Yuyi Wang Ondřej Kużelka [github]

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers Ondrej Kuzelka [github]

On Discovering Interesting Combinatorial Integer Sequences Martin Svatoš Peter Jung Jan Tóth Yuyi Wang Ondřej Kużelka [github]

On Exact Sampling in the Two-Variable Fragment of First-Order Logic Yuanhong Wang Juhua Pu Yuyi Wang Ondřej Kużelka [github]

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

[show logs] [hide logs]