- A simple combinatorial proof for the small model property of two-variable logic Yanger Ma Tony Tan Fri 15 September 2023
- Weighted Model Counting beyond Two-Variable Logic Antti Kuusisto Carsten Lutz Thu 06 July 2023
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic Szymon Toruundefinedczyk Thomas Zeume Sat 04 July 2020
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
