- Graph classes through the lens of logic Michał Pilipczuk Thu 09 January 2025
- Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Michael Blondin Michaël Cadilhac Xin-Yi Cui Philipp Czerner Javier Esparza Jakob Schulz Tue 10 December 2024
- Boltzmann Oracle for Combinatorial Systems Carine Pivoteau Bruno Salvy Michèle Soria Fri 10 March 2023
- Logarithmic Weisfeiler--Leman and Treewidth Michael Levet Puck Rombach Nicholas Sieger Fri 02 March 2012
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
