| 1801 |
PTAS for Sparse General-Valued CSPs
Balázs F. Mezei, Marcin Wrochna, Stanislav Živný
|
🔮
The Ethereal
|
cs.DM
|
4 |
5 years ago |
| 1802 |
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Luca Aceto, Ian Cassar, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
4 years ago |
| 1803 |
A New Temporal Interpretation of Cluster Editing
Cristiano Bocci, Chiara Capresi, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
4 years ago |
| 1804 |
Globally Minimal Defensive Alliances: A Parameterized Perspective
Ajinkya Gaikwad, Soumen Maity
|
🔮
The Ethereal
|
cs.CC
|
4 |
4 years ago |
| 1805 |
Hardness Results for Laplacians of Simplicial Complexes via Sparse-Linear Equation Complete Gadgets
Ming Ding, Rasmus Kyng, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
4 years ago |
| 1806 |
Induced Disjoint Paths and Connected Subgraphs for $H$-Free Graphs
Barnaby Martin, Daniël Paulusma, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
4 years ago |
| 1807 |
1-Extendability of independent sets
Pierre Bergé, Anthony Busson, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
4 years ago |
| 1808 |
Is the Algorithmic Kadison-Singer Problem Hard?
Ben Jourdan, Peter Macgregor, He Sun
|
🔮
The Ethereal
|
cs.CC
|
4 |
4 years ago |
| 1809 |
Reactive Synthesis of Smart Contract Control Flows
Bernd Finkbeiner, Jana Hofmann, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
4 years ago |
| 1810 |
Distributed domination on sparse graph classes
Ozan Heydt, Simeon Kublenz, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
4 years ago |
| 1811 |
The Two-Stripe Symmetric Circulant TSP is in P
Samuel C. Gutekunst, Billy Jin, David P. Williamson
|
🔮
The Ethereal
|
cs.DM
|
4 |
4 years ago |
| 1812 |
An Approximate Generalization of the Okamura-Seymour Theorem
Nikhil Kumar
|
🔮
The Ethereal
|
cs.DM
|
4 |
3 years ago |
| 1813 |
Tensor Reconstruction Beyond Constant Rank
Shir Peleg, Amir Shpilka, Ben Lee Volk
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1814 |
A Note on the Quickest Minimum Cost Transshipment Problem
Martin Skutella
|
🔮
The Ethereal
|
cs.DM
|
4 |
3 years ago |
| 1815 |
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
Gleifer Vaz Alves, Maike Schwammberger
|
🔮
The Ethereal
|
cs.LO
|
4 |
3 years ago |
| 1816 |
A Multivariate Complexity Analysis of Qualitative Reasoning Problems
Leif Eriksson, Victor Lagerkvist
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1817 |
On the complexity of symmetric vs. functional PCSPs
Tamio-Vesa Nakajima, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1818 |
Verifying And Interpreting Neural Networks using Finite Automata
Marco Sälzer, Eric Alsmann, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
4 |
3 years ago |
| 1819 |
Computable Bounds and Monte Carlo Estimates of the Expected Edit Distance
Gianfranco Bilardi, Michele Schimd
|
🔮
The Ethereal
|
cs.FL
|
4 |
3 years ago |
| 1820 |
The unstable formula theorem revisited via algorithms
Maryanthe Malliaris, Shay Moran
|
🔮
The Ethereal
|
math.LO
|
4 |
3 years ago |
| 1821 |
Category Theory for Quantum Natural Language Processing
Alexis Toumi
|
🔮
The Ethereal
|
math.CT
|
4 |
3 years ago |
| 1822 |
Excluding Single-Crossing Matching Minors in Bipartite Graphs
Archontia C. Giannopoulou, Dimitrios M. Thilikos, Sebastian Wiederrecht
|
🔮
The Ethereal
|
math.CO
|
4 |
3 years ago |
| 1823 |
Some Results on Approximability of Minimum Sum Vertex Cover
Aleksa Stanković
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1824 |
Nonlinear Random Matrices and Applications to the Sum of Squares Hierarchy
Goutham Rajendran
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1825 |
Secret Sharing on Superconcentrator
Yuan Li
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1826 |
A note on small weight codewords of projective geometric codes and on the smallest sets of even type
Sam Adriaensen
|
🔮
The Ethereal
|
math.CO
|
4 |
3 years ago |
| 1827 |
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols
Luís Cruz-Filipe, Fabrizio Montesi
|
🔮
The Ethereal
|
cs.LO
|
4 |
3 years ago |
| 1828 |
Scarf's algorithm and stable marriages
Yuri Faenza, Chengyue He, Jay Sethuraman
|
🔮
The Ethereal
|
math.CO
|
4 |
3 years ago |
| 1829 |
Descriptive complexity for distributed computing with circuits
Veeti Ahvonen, Damian Heiman, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
3 years ago |
| 1830 |
Normal Form Bisimulations By Value
Beniamino Accattoli, Adrienne Lancelot, Claudia Faggian
|
🔮
The Ethereal
|
cs.LO
|
4 |
3 years ago |
| 1831 |
Semitopology: a topological approach to decentralised collaborative action
Murdoch Gabbay
|
🔮
The Ethereal
|
cs.LO
|
4 |
3 years ago |
| 1832 |
On the Information Capacity of Nearest Neighbor Representations
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1833 |
Can You Solve Closest String Faster than Exhaustive Search?
Amir Abboud, Nick Fischer, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1834 |
On the algebraic proof complexity of Tensor Isomorphism
Nicola Galesi, Joshua A. Grochow, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1835 |
Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix
Yuwen Huang, Navin Kashyap, Pascal O. Vontobel
|
🔮
The Ethereal
|
math.CO
|
4 |
3 years ago |
| 1836 |
A Fast Algorithm for Computing Prefix Probabilities
Franz Nowak, Ryan Cotterell
|
🔮
The Ethereal
|
cs.FL
|
4 |
3 years ago |
| 1837 |
Sleptsov Nets are Turing-complete
Bernard Berthomieu, Dmitry A. Zaitsev
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1838 |
Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
Amr Alanwar, Frank J. Jiang, Karl H. Johansson
|
🔮
The Ethereal
|
cs.LO
|
4 |
3 years ago |
| 1839 |
Parameterized Complexity of Domination Problems Using Restricted Modular Partitions
Manuel Lafond, Weidong Luo
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 1840 |
Universal lower bound for community structure of sparse graphs
Vilhelm Agdur, Nina Kamčev, Fiona Skerman
|
🔮
The Ethereal
|
math.CO
|
4 |
3 years ago |
| 1841 |
Canonical Gradings of Monads
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1842 |
Randomized and quantum query complexities of finding a king in a tournament
Nikhil S. Mande, Manaswi Paraashar, Nitin Saurabh
|
🔮
The Ethereal
|
cs.CC
|
4 |
2 years ago |
| 1843 |
Ehrenfeucht-Fraïssé Games in Semiring Semantics
Sophie Brinke, Erich Grädel, Lovro Mrkonjić
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1844 |
Cartesian Differential Kleisli Categories
Jean-Simon Pacaud Lemay
|
🔮
The Ethereal
|
math.CT
|
4 |
2 years ago |
| 1845 |
Symbolic Automata: $ω$-Regularity Modulo Theories
Margus Veanes, Thomas Ball, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
4 |
2 years ago |
| 1846 |
A near-optimal zero-free disk for the Ising model
Viresh Patel, Guus Regts, Ayla Stam
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |
| 1847 |
Model Checking for Closed-Loop Robot Reactive Planning
Christopher Chandler, Bernd Porr, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1848 |
On the Congruency-Constrained Matroid Base
Siyue Liu, Chao Xu
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |
| 1849 |
Continuous optimization methods for the graph isomorphism problem
Stefan Klus, Patrick Gelß
|
🔮
The Ethereal
|
cs.DM
|
4 |
2 years ago |
| 1850 |
Divisible minimal codes
Vladimir Chubenko, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |