| 151 |
Computing Maximum Matchings in Temporal Graphs
George B. Mertzios, Hendrik Molter, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
49 |
7 years ago |
| 152 |
Coding for Sunflowers
Anup Rao
|
🔮
The Ethereal
|
math.CO
|
49 |
6 years ago |
| 153 |
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Alois Brunel, Damiano Mazza, Michele Pagani
|
🔮
The Ethereal
|
cs.LO
|
49 |
6 years ago |
| 154 |
Grid Induced Minor Theorem for Graphs of Small Degree
Tuukka Korhonen
|
🔮
The Ethereal
|
math.CO
|
49 |
4 years ago |
| 155 |
Coset Construction for Subspace Codes
Daniel Heinlein, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
48 |
10 years ago |
| 156 |
Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms
Arturs Backurs, Christos Tzamos
|
🔮
The Ethereal
|
cs.CC
|
48 |
10 years ago |
| 157 |
Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams
Michael Kapralov, Jelani Nelson, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
48 |
9 years ago |
| 158 |
Weakly Submodular Maximization Beyond Cardinality Constraints: Does Randomization Help Greedy?
Lin Chen, Moran Feldman, Amin Karbasi
|
🔮
The Ethereal
|
cs.DM
|
48 |
9 years ago |
| 159 |
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
André Platzer, Yong Kiam Tan
|
🔮
The Ethereal
|
cs.LO
|
48 |
8 years ago |
| 160 |
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Steffen Smolka, Nate Foster, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
48 |
7 years ago |
| 161 |
A Uniform Substitution Calculus for Differential Dynamic Logic
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
47 |
11 years ago |
| 162 |
Isomorphism Testing for Graphs of Bounded Rank Width
Martin Grohe, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.DM
|
47 |
11 years ago |
| 163 |
Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
|
🔮
The Ethereal
|
cs.DM
|
47 |
7 years ago |
| 164 |
Answer Set Solving with Bounded Treewidth Revisited
Johannes Fichte, Markus Hecher, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
9 years ago |
| 165 |
Interacting Conceptual Spaces I : Grammatical Composition of Concepts
Joe Bolt, Bob Coecke, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
9 years ago |
| 166 |
Finding Cliques in Social Networks: A New Distribution-Free Model
Jacob Fox, Tim Roughgarden, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
46 |
8 years ago |
| 167 |
A 1.5-Approximation for Path TSP
Rico Zenklusen
|
🔮
The Ethereal
|
cs.DM
|
46 |
8 years ago |
| 168 |
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
7 years ago |
| 169 |
Graph pattern detection: Hardness for all induced patterns and faster non-induced cycles
Mina Dalirrooyfard, Thuy Duong Vuong, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
46 |
7 years ago |
| 170 |
Connections between scattered linear sets and MRD-codes
Olga Polverino, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
46 |
6 years ago |
| 171 |
Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
5 years ago |
| 172 |
Reachability is in DynFO
Samir Datta, Raghav Kulkarni, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
45 |
11 years ago |
| 173 |
Pseudodeterministic Constructions in Subexponential Time
Igor C. Oliveira, Rahul Santhanam
|
🔮
The Ethereal
|
cs.CC
|
45 |
9 years ago |
| 174 |
Real-time Stream-based Monitoring
Peter Faymonville, Bernd Finkbeiner, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
45 |
8 years ago |
| 175 |
More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture
Amir Abboud, Karl Bringmann, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
45 |
8 years ago |
| 176 |
An Algorithmic Blend of LPs and Ring Equations for Promise CSPs
Joshua Brakensiek, Venkatesan Guruswami
|
🔮
The Ethereal
|
cs.CC
|
45 |
8 years ago |
| 177 |
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
|
🔮
The Ethereal
|
cs.LO
|
45 |
7 years ago |
| 178 |
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
Meghyn Bienvenu, Camille Bourgaux
|
🔮
The Ethereal
|
cs.LO
|
45 |
6 years ago |
| 179 |
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai, Shaoping Xiao, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
45 |
5 years ago |
| 180 |
A Reconfigurations Analogue of Brooks' Theorem and its Consequences
Carl Feghali, Matthew Johnson, Daniël Paulusma
|
🔮
The Ethereal
|
cs.CC
|
44 |
11 years ago |
| 181 |
Exact sampling of graphs with prescribed degree correlations
Kevin E. Bassler, Charo I. Del Genio, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
44 |
11 years ago |
| 182 |
Explicit resilient functions matching Ajtai-Linial
Raghu Meka
|
🔮
The Ethereal
|
cs.CC
|
44 |
10 years ago |
| 183 |
Number of fixed points and disjoint cycles in monotone Boolean networks
Julio Aracena, Adrien Richard, Lilian Salinas
|
🔮
The Ethereal
|
math.CO
|
44 |
10 years ago |
| 184 |
Systematic and Deterministic Graph-Minor Embedding for Cartesian Products of Graphs
Arman Zaribafiyan, Dominic J. J. Marchand, Seyed Saeed Changiz Rezaei
|
🔮
The Ethereal
|
cs.DM
|
44 |
10 years ago |
| 185 |
The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches
Aris Filos-Ratsikas, Paul W. Goldberg
|
🔮
The Ethereal
|
cs.CC
|
44 |
8 years ago |
| 186 |
List Decoding with Double Samplers
Irit Dinur, Prahladh Harsha, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
44 |
7 years ago |
| 187 |
Limits on the Universal Method for Matrix Multiplication
Josh Alman
|
🔮
The Ethereal
|
cs.CC
|
44 |
7 years ago |
| 188 |
Tight Running Time Lower Bounds for Strong Inapproximability of Maximum $k$-Coverage, Unique Set Cover and Related Problems (via $t$-Wise Agreement Testing Theorem)
Pasin Manurangsi
|
🔮
The Ethereal
|
cs.CC
|
44 |
6 years ago |
| 189 |
On the Fine-Grained Complexity of Empirical Risk Minimization: Kernel Methods and Neural Networks
Arturs Backurs, Piotr Indyk, Ludwig Schmidt
|
🔮
The Ethereal
|
cs.CC
|
43 |
9 years ago |
| 190 |
On the metric dimension of Cartesian powers of a graph
Zilin Jiang, Nikita Polyanskii
|
🔮
The Ethereal
|
math.CO
|
43 |
8 years ago |
| 191 |
Approximation Algorithms for Graph Burning
Anthony Bonato, Shahin Kamali
|
🔮
The Ethereal
|
math.CO
|
43 |
7 years ago |
| 192 |
Querying a Matrix through Matrix-Vector Products
Xiaoming Sun, David P. Woodruff, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
43 |
7 years ago |
| 193 |
Reducing Path TSP to TSP
Vera Traub, Jens Vygen, Rico Zenklusen
|
🔮
The Ethereal
|
cs.DM
|
43 |
6 years ago |
| 194 |
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Noam Zilberstein, Derek Dreyer, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
43 |
3 years ago |
| 195 |
Quadratic-Time Hardness of LCS and other Sequence Similarity Measures
Amir Abboud, Arturs Backurs, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
42 |
11 years ago |
| 196 |
Reconfiguration on sparse graphs
Daniel Lokshtanov, Amer E. Mouawad, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
42 |
11 years ago |
| 197 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
|
🔮
The Ethereal
|
cs.LO
|
42 |
11 years ago |
| 198 |
The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
|
🔮
The Ethereal
|
cs.LO
|
42 |
9 years ago |
| 199 |
On the Quantitative Hardness of CVP
Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz
|
🔮
The Ethereal
|
cs.CC
|
42 |
9 years ago |
| 200 |
Asymptotic bounds for the sizes of constant dimension codes and an improved lower bound
Daniel Heinlein, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
42 |
9 years ago |