| 2051 |
Filling a triangulation of the 2-sphere
Peter Doyle, Matthew Ellison, Zili Wang
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2052 |
Lengths of divisible codes with restricted column multiplicities
Theresa Körner, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2053 |
Fast Numerical Multivariate Multipoint Evaluation
Sumanta Ghosh, Prahladh Harsha, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
3 years ago |
| 2054 |
On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing
Isolde Adler, Noleen Köhler, Pan Peng
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2055 |
Foundations for an Abstract Proof Theory in the Context of Horn Rules
Tim S. Lyon, Piotr Ostropolski-Nalewaja
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2056 |
Solving Unique Games over Globally Hypercontractive Graphs
Mitali Bafna, Dor Minzer
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2057 |
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Vivek Nigam, Carolyn Talcott
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2058 |
Covering multigraphs with bipartite graphs
Jaehoon Kim, Hyunwoo Lee
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2059 |
Quasi-cyclic perfect codes in Doob graphs and special partitions of Galois rings
Minjia Shi, Xiaoxiao Li, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2060 |
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
Megan Strauss, Stefan Mitsch
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2061 |
On the Implementation of Boolean Functions on Content-Addressable Memories
Ron M. Roth
|
🔮
The Ethereal
|
cs.DM
|
3 |
3 years ago |
| 2062 |
Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part II: Hardness Results
Jacob Focke, Dániel Marx, ... (+5 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2063 |
Ternary extremal four-negacirculant self-dual codes
Masaaki Harada, Keita Ishizuka, Hadi Kharaghani
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2064 |
Preprocessing Complexity for Some Graph Problems Parameterized by Structural Parameters
Manuel Lafond, Weidong Luo
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2065 |
New Menger-like dualities in digraphs and applications to half-integral linkages
Victor Campos, Jonas Costa, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2066 |
Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC
Sam M. Thompson, Dominik D. Freydenberger
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2067 |
Complexity Dichotomies for the Maximum Weighted Digraph Partition Problem
Argyrios Deligkas, Eduard Eiben, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
3 years ago |
| 2068 |
A Strong Composition Theorem for Junta Complexity and the Boosting of Property Testers
Guy Blanc, Caleb Koch, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2069 |
Optimal Mixing via Tensorization for Random Independent Sets on Arbitrary Trees
Charilaos Efthymiou, Thomas P. Hayes, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
3 years ago |
| 2070 |
Polynomial Time and Dependent Types
Robert Atkey
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2071 |
$\mathcal{P}$-matchings Parameterized by Treewidth
Juhi Chaudhary, Meirav Zehavi
|
🔮
The Ethereal
|
cs.DM
|
3 |
3 years ago |
| 2072 |
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |
| 2073 |
Enumeration and updates for conjunctive linear algebra queries through expressibility
Thomas Muñoz, Cristian Riveros, Stijn Vansummeren
|
🔮
The Ethereal
|
cs.CC
|
3 |
2 years ago |
| 2074 |
Circular External Difference Families: Construction and Non-Existence
Huawei Wu, Jing Yang, Keqin Feng
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2075 |
Reachability in Continuous Pushdown VASS
A. R. Balasubramanian, Rupak Majumdar, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
3 |
2 years ago |
| 2076 |
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |
| 2077 |
Modularity of nearly complete graphs and bipartite graphs
Colin McDiarmid, Fiona Skerman
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2078 |
Testing Intersecting and Union-Closed Families
Xi Chen, Anindya De, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
2 years ago |
| 2079 |
Crash-Stop Failures in Asynchronous Multiparty Session Types
Adam D. Barwell, Ping Hou, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |
| 2080 |
Local certification of geometric graph classes
Oscar Defrain, Louis Esperet, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2081 |
An Introduction to Transshipments Over Time
Martin Skutella
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2082 |
Bisimplicial separators
Martin Milanič, Irena Penev, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2083 |
On recognition algorithms and structure of graphs with restricted induced cycles
Linda Cook
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2084 |
Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
Hugo Paquet, Philip Saville
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |
| 2085 |
Elementary first-order model checking for sparse graphs
Jakub Gajarský, Michał Pilipczuk, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |
| 2086 |
Independent set reconfiguration in H-free graphs
Valentin Bartier, Nicolas Bousquet, Moritz Mühlenthaler
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2087 |
Complexity of the (Connected) Cluster Vertex Deletion problem on $H$-free graphs
Hoang-Oanh Le, Van Bang Le
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2088 |
Nearest Neighbor Representations of Neurons
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
|
🔮
The Ethereal
|
cs.CC
|
3 |
2 years ago |
| 2089 |
An improved lower bound on the Shannon capacities of complements of odd cycles
Daniel G. Zhu
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2090 |
Lettericity of graphs: an FPT algorithm and a bound on the size of obstructions
Bogdan Alecu, Mamadou Moustapha Kanté, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2091 |
Towards Deterministic Algorithms for Constant-Depth Factors of Constant-Depth Circuits
Mrinal Kumar, Varun Ramanathan, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
2 years ago |
| 2092 |
Solving the Multiobjective Quasi-Clique Problem
Daniela Scherer dos Santos, Kathrin Klamroth, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2093 |
The operadic theory of convexity
Redi Haderi, Cihan Okay, Walker H. Stern
|
🔮
The Ethereal
|
math.CT
|
3 |
2 years ago |
| 2094 |
Cosystolic Expansion of Sheaves on Posets with Applications to Good 2-Query Locally Testable Codes and Lifted Codes
Uriya A. First, Tali Kaufman
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2095 |
A New Information Complexity Measure for Multi-pass Streaming with Applications
Mark Braverman, Sumegha Garg, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
2 years ago |
| 2096 |
Approximating the volume of a truncated relaxation of the independence polytope
Ferenc Bencs, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2097 |
The Simultaneous Interval Number: A New Width Parameter that Measures the Similarity to Interval Graphs
Jesse Beisegel, Nina Chiarelli, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
2 years ago |
| 2098 |
Computing Inductive Invariants of Regular Abstraction Frameworks
Philipp Czerner, Javier Esparza, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
3 |
2 years ago |
| 2099 |
Improving the Gilbert-Varshamov bound for permutation Codes in the Cayley metric and Kendall $τ$-Metric
The Nguyen
|
🔮
The Ethereal
|
math.CO
|
3 |
2 years ago |
| 2100 |
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
Márk Somorjai, Mihály Dobos-Kovács, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
2 years ago |