| 1601 |
Liar's Domination in Unit Disk Graphs
Ramesh K. Jallu, Sangram K. Jena, Gautam K. Das
|
🔮
The Ethereal
|
cs.CC
|
5 |
6 years ago |
| 1602 |
A 3/2-Approximation for the Metric Many-visits Path TSP
Kristóf Bérczi, Matthias Mnich, Roland Vincze
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1603 |
Concolic Testing in CLP
Fred Mesnard, Etienne Payet, German Vidal
|
🔮
The Ethereal
|
cs.LO
|
5 |
5 years ago |
| 1604 |
Tree Automata for Extracting Consensus from Partial Replicas of a Structured Document
Maurice Tchoupé Tchendji, Milliam Maxime Zekeng Ndadji
|
🔮
The Ethereal
|
cs.FL
|
5 |
5 years ago |
| 1605 |
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Tobias Reinhard, Amin Timany, Bart Jacobs
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1606 |
A symmetric attractor-decomposition lifting algorithm for parity games
Marcin Jurdziński, Rémi Morvan, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
5 years ago |
| 1607 |
Glauber dynamics for colourings of chordal graphs and graphs of bounded treewidth
Marc Heinrich
|
🔮
The Ethereal
|
math.CO
|
5 |
5 years ago |
| 1608 |
Two-Commodity Flow is Equivalent to Linear Programming under Nearly-Linear Time Reductions
Ming Ding, Rasmus Kyng, Peng Zhang
|
🔮
The Ethereal
|
cs.CC
|
5 |
4 years ago |
| 1609 |
Short and local transformations between ($Δ+1$)-colorings
Nicolas Bousquet, Laurent Feuilloley, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
4 years ago |
| 1610 |
Modules in Robinson Spaces
Mikhael Carmona, Victor Chepoi, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
4 years ago |
| 1611 |
Taming graphs with no large creatures and skinny ladders
Jakub Gajarský, Lars Jaffke, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
4 years ago |
| 1612 |
Reconfiguration of Digraph Homomorphisms
Benjamin Lévêque, Moritz Mühlenthaler, Thomas Suzan
|
🔮
The Ethereal
|
cs.DM
|
5 |
4 years ago |
| 1613 |
SAT Preprocessors and Symmetry
Markus Anders
|
🔮
The Ethereal
|
cs.LO
|
5 |
4 years ago |
| 1614 |
How to Compose Shortest Paths
Jade Master
|
🔮
The Ethereal
|
cs.DM
|
5 |
4 years ago |
| 1615 |
Linearizing Partial Search Orders
Robert Scheffler
|
🔮
The Ethereal
|
cs.DM
|
5 |
4 years ago |
| 1616 |
An Improved Trickle-Down Theorem for Partite Complexes
Dorna Abdolazimi, Shayan Oveis Gharan
|
🔮
The Ethereal
|
cs.DM
|
5 |
3 years ago |
| 1617 |
On finding short reconfiguration sequences between independent sets
Akanksha Agrawal, Soumita Hait, Amer E. Mouawad
|
🔮
The Ethereal
|
cs.CC
|
5 |
3 years ago |
| 1618 |
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
Robert Freiman, Michael Bernreiter
|
🔮
The Ethereal
|
cs.LO
|
5 |
3 years ago |
| 1619 |
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
Baptiste Pelletier, Charles Lesire, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
5 |
3 years ago |
| 1620 |
How to construct the symmetric cycle of length 5 using Hajós construction with an adapted Rank Genetic Algorithm
Juan Carlos García-Altamirano, Mika Olsen, Jorge Cervantes-Ojeda
|
🔮
The Ethereal
|
math.CO
|
5 |
3 years ago |
| 1621 |
A Categorical Framework for Modeling with Stock and Flow Diagrams
John C. Baez, Xiaoyan Li, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
3 years ago |
| 1622 |
Streaming Zero-Knowledge Proofs
Graham Cormode, Marcel Dall'Agnol, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
3 years ago |
| 1623 |
Perturbation results for distance-edge-monitoring numbers
Chenxu Yang, Ralf Klasing, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
3 years ago |
| 1624 |
Balanced Allocations with Heterogeneous Bins: The Power of Memory
Dimitrios Los, Thomas Sauerwald, John Sylvester
|
🔮
The Ethereal
|
cs.DM
|
5 |
3 years ago |
| 1625 |
Improved Pseudorandom Generators for $\mathsf{AC}^0$ Circuits
Xin Lyu
|
🔮
The Ethereal
|
cs.CC
|
5 |
3 years ago |
| 1626 |
Parameterized Verification under TSO with Data Types
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+5 more)
|
🔮
The Ethereal
|
cs.FL
|
5 |
3 years ago |
| 1627 |
Maximum Flag-Rank Distance Codes
Gianira N. Alfarano, Alessandro Neri, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
5 |
3 years ago |
| 1628 |
Optimal Testing of Generalized Reed-Muller Codes in Fewer Queries
Dor Minzer, Kai Zheng
|
🔮
The Ethereal
|
cs.CC
|
5 |
3 years ago |
| 1629 |
On Solution Discovery via Reconfiguration
Michael R. Fellows, Mario Grobler, ... (+6 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
3 years ago |
| 1630 |
Testing versus estimation of graph properties, revisited
Lior Gishboliner, Nick Kushnir, Asaf Shapira
|
🔮
The Ethereal
|
math.CO
|
5 |
3 years ago |
| 1631 |
The Sharp Power Law of Local Search on Expanders
Simina Brânzei, Davin Choo, Nicholas Recker
|
🔮
The Ethereal
|
cs.CC
|
5 |
3 years ago |
| 1632 |
Combining Global and Local Merges in Logic-based Entity Resolution
Meghyn Bienvenu, Gianluca Cima, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
3 years ago |
| 1633 |
Irreducibility of Recombination Markov Chains in the Triangular Lattice
Sarah Cannon
|
🔮
The Ethereal
|
cs.DM
|
5 |
3 years ago |
| 1634 |
Solving NP-hard Problems on \textsc{GaTEx} Graphs: Linear-Time Algorithms for Perfect Orderings, Cliques, Colorings, and Independent Sets
Marc Hellmuth, Guillaume E. Scholz
|
🔮
The Ethereal
|
cs.DM
|
5 |
3 years ago |
| 1635 |
Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
Myrthe Spronck, Bas Luttik
|
🔮
The Ethereal
|
cs.LO
|
5 |
3 years ago |
| 1636 |
Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
3 years ago |
| 1637 |
Factoring Pattern-Free Permutations into Separable ones
Édouard Bonnet, Romain Bourneuf, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
2 years ago |
| 1638 |
On generalized corners and matrix multiplication
Kevin Pratt
|
🔮
The Ethereal
|
math.CO
|
5 |
2 years ago |
| 1639 |
Btor2MLIR: A Format and Toolchain for Hardware Verification
Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1640 |
Deterministic Algorithms for Low Degree Factors of Constant Depth Circuits
Mrinal Kumar, Varun Ramanathan, Ramprasad Saptharishi
|
🔮
The Ethereal
|
cs.CC
|
5 |
2 years ago |
| 1641 |
The Complexity of Resilience Problems via Valued Constraint Satisfaction
Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
|
🔮
The Ethereal
|
math.LO
|
5 |
2 years ago |
| 1642 |
Enumerating minimal solution sets for metric graph problems
Benjamin Bergougnoux, Oscar Defrain, Fionn Mc Inerney
|
🔮
The Ethereal
|
cs.DM
|
5 |
2 years ago |
| 1643 |
The Parameterised Complexity of Integer Multicommodity Flow
Hans L. Bodlaender, Isja Mannens, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
2 years ago |
| 1644 |
Equational Anti-Unification over Absorption Theories
Mauricio Ayala-Rincon, David M. Cerna, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1645 |
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
Neta Elad, Oded Padon, Sharon Shoham
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 1646 |
The Weisfeiler-Leman Dimension of Conjunctive Queries
Andreas Göbel, Leslie Ann Goldberg, Marc Roth
|
🔮
The Ethereal
|
cs.DM
|
5 |
2 years ago |
| 1647 |
$k$-Universality of Regular Languages
Duncan Adamson, Pamela Fleischmann, ... (+4 more)
|
🔮
The Ethereal
|
cs.FL
|
5 |
2 years ago |
| 1648 |
Solution discovery via reconfiguration for problems in P
Mario Grobler, Stephanie Maaz, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
2 years ago |
| 1649 |
Matrix Multiplication in Quadratic Time and Energy? Towards a Fine-Grained Energy-Centric Church-Turing Thesis
Gregory Valiant
|
🔮
The Ethereal
|
cs.CC
|
5 |
2 years ago |
| 1650 |
In search of the lost tree: Hardness and relaxation of spanning trees in temporal graphs
Arnaud Casteigts, Timothée Corsini
|
🔮
The Ethereal
|
cs.DM
|
5 |
2 years ago |