- Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions Yuanhong Wang Timothy van Bremen Yuyi Wang Ondřej Kużelka Thu 06 July 2023
- Completely Reachable Automata: A Polynomial Algorithm and Quadratic Upper Bounds Robert Ferens Marek Szykuła Thu 06 July 2023
- Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata Erik Paul Thu 06 July 2023
- Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures Théo Losekoot Thomas Genet Thomas Jensen Thu 06 July 2023
- Tight Omega-automata Marek Jankola Thu 06 July 2023
- Checking Refinement of Asynchronous Programs against Context-Free Specifications Pascal Baumann Moses Ganardi Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Thu 06 July 2023
- Deciding whether an Attributed Translation can be realized by a Top-Down Transducer Sebastian Maneth Martin Vu Thu 06 July 2023
- BQP = PSPACE Shibdas Roy Thu 06 July 2023
- Semenov Arithmetic, Affine VASS, and String Constraints Andrei Draghici Christoph Haase Florin Manea Thu 06 July 2023
- Deciding Predicate Logical Theories of Real-Valued Functions Stefan Ratschan Thu 06 July 2023
- Convolution Products on Double Categories and Categorification of Rule Algebras Nicolas Behr Paul-André Melliès Noam Zeilberger Thu 06 July 2023
- Skolemization for Weighted First-Order Model Counting Guy Van den Broeck Wannes Meert Adnan Darwiche Thu 06 July 2023
- Weighted Model Counting beyond Two-Variable Logic Antti Kuusisto Carsten Lutz Thu 06 July 2023
- Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini Thu 06 July 2023
- A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers Ondrej Kuzelka Thu 06 July 2023
- Symmetric Weighted First-Order Model Counting Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu Thu 06 July 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
