- Symmetric Weighted First-Order Model Counting Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu Thu 06 July 2023
- Applications of Information Inequalities to Database Theory Problems Dan Suciu Fri 30 June 2023
- On Discovering Interesting Combinatorial Integer Sequences Martin Svatoš Peter Jung Jan Tóth Yuyi Wang Ondřej Kużelka Wed 28 June 2023
- Zero-Sum Games and Linear Programming Duality Bernhard von Stengel Thu 22 June 2023
- Pizza Sharing is PPA-hard Argyrios Deligkas John Fearnley Themistoklis Melissourgos Thu 22 June 2023
- On asymptotically automatic sequences Jakub Konieczny Thu 22 June 2023
- Constructing Deterministic Parity Automata from Positive and Negative Examples León Bohn Christof Løding Thu 22 June 2023
- Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs Sandra Kiefer Lê Thành Dũng Nguy~ên Cécilia Pradic Thu 22 June 2023
- Universal quantification makes automatic structures hard to decide Christoph Haase Radosław Piórkowski Thu 22 June 2023
- Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs Dmitry Chistikov Matthias Englert Ranko Lazic Thu 15 June 2023
- Invariants and Home Spaces in Transition Systems and Petri Nets Gerard Memmi Thu 15 June 2023
- Reachability in 3-VASS is in Tower Qizhe Yang Yuxi Fu Tue 13 June 2023
- On the Zeros of Exponential Polynomials Ventsislav Chonev Joel Ouaknine James Worrell Mon 12 June 2023
- Automata modulo Theories Loris D'Antoni Margus Veanes Sat 10 June 2023
- On solving cycle-free context-free grammar equivalence problem using numerical analysis José João Almeida Eliana Grande Georgi Smirnov Fri 09 June 2023
- Noncommutative rational Pólya series Jason Bell Daniel Smertnig Fri 09 June 2023
- Counting planar maps, coloured or uncoloured Mireille Bousquet-Mélou Thu 08 June 2023
- The generating function of planar Eulerian orientations Mireille Bousquet-Mélou Andrew Elvey Price Thu 08 June 2023
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic Lê Thành Dung Nguy~ên Lutz Straßburger Wed 07 June 2023
- Determinacy of Real Conjunctive Queries. The Boolean Case Jarosław Kwiecień Jerzy Marcinkowski Piotr Ostropolski-Nalewaja Wed 07 June 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
