| 151 |
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 |
6 years ago |
| 152 |
Connections between scattered linear sets and MRD-codes
Olga Polverino, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
46 |
6 years ago |
| 153 |
Justifications for Goal-Directed Constraint Answer Set Programming
Joaquín Arias, Manuel Carro, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
46 |
5 years ago |
| 154 |
Reachability is in DynFO
Samir Datta, Raghav Kulkarni, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
45 |
11 years ago |
| 155 |
Pseudodeterministic Constructions in Subexponential Time
Igor C. Oliveira, Rahul Santhanam
|
🔮
The Ethereal
|
cs.CC
|
45 |
9 years ago |
| 156 |
Real-time Stream-based Monitoring
Peter Faymonville, Bernd Finkbeiner, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
45 |
8 years ago |
| 157 |
More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture
Amir Abboud, Karl Bringmann, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
45 |
7 years ago |
| 158 |
An Algorithmic Blend of LPs and Ring Equations for Promise CSPs
Joshua Brakensiek, Venkatesan Guruswami
|
🔮
The Ethereal
|
cs.CC
|
45 |
7 years ago |
| 159 |
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 |
| 160 |
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 |
| 161 |
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai, Shaoping Xiao, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
45 |
5 years ago |
| 162 |
A Reconfigurations Analogue of Brooks' Theorem and its Consequences
Carl Feghali, Matthew Johnson, Daniël Paulusma
|
🔮
The Ethereal
|
cs.CC
|
44 |
11 years ago |
| 163 |
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 |
| 164 |
Explicit resilient functions matching Ajtai-Linial
Raghu Meka
|
🔮
The Ethereal
|
cs.CC
|
44 |
10 years ago |
| 165 |
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 |
| 166 |
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 |
| 167 |
The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches
Aris Filos-Ratsikas, Paul W. Goldberg
|
🔮
The Ethereal
|
cs.CC
|
44 |
7 years ago |
| 168 |
List Decoding with Double Samplers
Irit Dinur, Prahladh Harsha, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
44 |
7 years ago |
| 169 |
Limits on the Universal Method for Matrix Multiplication
Josh Alman
|
🔮
The Ethereal
|
cs.CC
|
44 |
7 years ago |
| 170 |
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 |
| 171 |
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 |
8 years ago |
| 172 |
On the metric dimension of Cartesian powers of a graph
Zilin Jiang, Nikita Polyanskii
|
🔮
The Ethereal
|
math.CO
|
43 |
8 years ago |
| 173 |
Approximation Algorithms for Graph Burning
Anthony Bonato, Shahin Kamali
|
🔮
The Ethereal
|
math.CO
|
43 |
7 years ago |
| 174 |
Querying a Matrix through Matrix-Vector Products
Xiaoming Sun, David P. Woodruff, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
43 |
6 years ago |
| 175 |
Reducing Path TSP to TSP
Vera Traub, Jens Vygen, Rico Zenklusen
|
🔮
The Ethereal
|
cs.DM
|
43 |
6 years ago |
| 176 |
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Noam Zilberstein, Derek Dreyer, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
43 |
3 years ago |
| 177 |
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 |
| 178 |
Reconfiguration on sparse graphs
Daniel Lokshtanov, Amer E. Mouawad, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
42 |
11 years ago |
| 179 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
|
🔮
The Ethereal
|
cs.LO
|
42 |
10 years ago |
| 180 |
The First-Order Logic of Hyperproperties
Bernd Finkbeiner, Martin Zimmermann
|
🔮
The Ethereal
|
cs.LO
|
42 |
9 years ago |
| 181 |
On the Quantitative Hardness of CVP
Huck Bennett, Alexander Golovnev, Noah Stephens-Davidowitz
|
🔮
The Ethereal
|
cs.CC
|
42 |
8 years ago |
| 182 |
Asymptotic bounds for the sizes of constant dimension codes and an improved lower bound
Daniel Heinlein, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
42 |
8 years ago |
| 183 |
Further limitations of the known approaches for matrix multiplication
Josh Alman, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
42 |
8 years ago |
| 184 |
Tighter Connections Between Formula-SAT and Shaving Logs
Amir Abboud, Karl Bringmann
|
🔮
The Ethereal
|
cs.CC
|
42 |
7 years ago |
| 185 |
On the minimum weights of binary linear complementary dual codes
Makoto Araya, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
42 |
7 years ago |
| 186 |
Polynomial Invariant Generation for Non-deterministic Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
42 |
7 years ago |
| 187 |
The Average-Case Complexity of Counting Cliques in Erdos-Renyi Hypergraphs
Enric Boix-Adserà, Matthew Brennan, Guy Bresler
|
🔮
The Ethereal
|
cs.CC
|
42 |
7 years ago |
| 188 |
The Approximation Ratio of the 2-Opt Heuristic for the Metric Traveling Salesman Problem
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong
|
🔮
The Ethereal
|
cs.DM
|
42 |
6 years ago |
| 189 |
Algorithms and Barriers in the Symmetric Binary Perceptron Model
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
42 |
4 years ago |
| 190 |
Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Lars Birkedal, Aleš Bizjak, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
41 |
9 years ago |
| 191 |
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
41 |
8 years ago |
| 192 |
Fine-Grained Complexity of Analyzing Compressed Data: Quantifying Improvements over Decompress-And-Solve
Amir Abboud, Arturs Backurs, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
41 |
8 years ago |
| 193 |
Forman-Ricci Curvature for Hypergraphs
Wilmer Leal, Guillermo Restrepo, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
41 |
7 years ago |
| 194 |
How Hard Is Robust Mean Estimation?
Samuel B. Hopkins, Jerry Li
|
🔮
The Ethereal
|
cs.CC
|
41 |
7 years ago |
| 195 |
Incidence Geometries and the Pass Complexity of Semi-Streaming Set Cover
Amit Chakrabarti, Anthony Wirth
|
🔮
The Ethereal
|
cs.CC
|
40 |
10 years ago |
| 196 |
Uniform generation of random regular graphs
Pu Gao, Nicholas Wormald
|
🔮
The Ethereal
|
math.CO
|
40 |
10 years ago |
| 197 |
A program logic for union bounds
Gilles Barthe, Marco Gaboardi, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
40 |
10 years ago |
| 198 |
Automated Mutual Explicit Induction Proof in Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
40 |
9 years ago |
| 199 |
Verifying Equivalence of Database-Driven Applications
Yuepeng Wang, Isil Dillig, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
40 |
8 years ago |
| 200 |
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Siddharth Krishna, Dennis Shasha, Thomas Wies
|
🔮
The Ethereal
|
cs.LO
|
40 |
8 years ago |