| 201 |
Further limitations of the known approaches for matrix multiplication
Josh Alman, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
42 |
8 years ago |
| 202 |
Tighter Connections Between Formula-SAT and Shaving Logs
Amir Abboud, Karl Bringmann
|
🔮
The Ethereal
|
cs.CC
|
42 |
8 years ago |
| 203 |
On the minimum weights of binary linear complementary dual codes
Makoto Araya, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
42 |
8 years ago |
| 204 |
Polynomial Invariant Generation for Non-deterministic Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
42 |
7 years ago |
| 205 |
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 |
| 206 |
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 |
| 207 |
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 |
| 208 |
Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Lars Birkedal, Aleš Bizjak, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
41 |
10 years ago |
| 209 |
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
41 |
8 years ago |
| 210 |
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 |
| 211 |
Forman-Ricci Curvature for Hypergraphs
Wilmer Leal, Guillermo Restrepo, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
41 |
7 years ago |
| 212 |
How Hard Is Robust Mean Estimation?
Samuel B. Hopkins, Jerry Li
|
🔮
The Ethereal
|
cs.CC
|
41 |
7 years ago |
| 213 |
Incidence Geometries and the Pass Complexity of Semi-Streaming Set Cover
Amit Chakrabarti, Anthony Wirth
|
🔮
The Ethereal
|
cs.CC
|
40 |
11 years ago |
| 214 |
Uniform generation of random regular graphs
Pu Gao, Nicholas Wormald
|
🔮
The Ethereal
|
math.CO
|
40 |
10 years ago |
| 215 |
A program logic for union bounds
Gilles Barthe, Marco Gaboardi, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
40 |
10 years ago |
| 216 |
Automated Mutual Explicit Induction Proof in Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
40 |
9 years ago |
| 217 |
Verifying Equivalence of Database-Driven Applications
Yuepeng Wang, Isil Dillig, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
40 |
8 years ago |
| 218 |
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 |
| 219 |
Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
Mario Lezoche, Hervé Panetto
|
🔮
The Ethereal
|
cs.LO
|
40 |
7 years ago |
| 220 |
Optimal Joint Subcarrier and Power Allocation in NOMA is Strongly NP-Hard
Lou Salaun, Chung Shue Chen, Marceau Coupechoux
|
🔮
The Ethereal
|
cs.CC
|
40 |
6 years ago |
| 221 |
Scattered subspaces and related codes
Giovanni Zini, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
40 |
6 years ago |
| 222 |
On construction and (non)existence of $c$-(almost) perfect nonlinear functions
Daniele Bartoli, Marco Calderini
|
🔮
The Ethereal
|
math.CO
|
40 |
5 years ago |
| 223 |
Combinatorial Characterizations of Algebraic Manipulation Detection Codes Involving Generalized Difference Families
Maura B. Paterson, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
39 |
11 years ago |
| 224 |
Discrete Gaussian Sampling Reduces to CVP and SVP
Noah Stephens-Davidowitz
|
🔮
The Ethereal
|
cs.CC
|
39 |
11 years ago |
| 225 |
On space efficiency of algorithms working on structural decompositions of graphs
Michał Pilipczuk, Marcin Wrochna
|
🔮
The Ethereal
|
cs.CC
|
39 |
10 years ago |
| 226 |
Asking the metaquestions in constraint tractability
Hubie Chen, Benoit Larose
|
🔮
The Ethereal
|
cs.CC
|
39 |
10 years ago |
| 227 |
Proving Liveness of Parameterized Programs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
|
🔮
The Ethereal
|
cs.LO
|
39 |
10 years ago |
| 228 |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
|
🔮
The Ethereal
|
cs.LO
|
39 |
9 years ago |
| 229 |
Temporal Cliques Admit Sparse Spanners
Arnaud Casteigts, Joseph G. Peters, Jason Schoeters
|
🔮
The Ethereal
|
cs.DM
|
39 |
7 years ago |
| 230 |
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Fabrizio Banci Buonamici, Gina Belmonte, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
39 |
7 years ago |
| 231 |
Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification
Marcel Hark, Benjamin Lucien Kaminski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
39 |
7 years ago |
| 232 |
Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
|
🔮
The Ethereal
|
cs.FL
|
39 |
5 years ago |
| 233 |
Sparse universal graphs for planarity
Louis Esperet, Gwenaël Joret, Pat Morin
|
🔮
The Ethereal
|
math.CO
|
39 |
5 years ago |
| 234 |
Three Combinatorial Perspectives on Minimal Codes
Gianira N. Alfarano, Martino Borello, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
39 |
5 years ago |
| 235 |
Algorithms for the minimum sum coloring problem: a review
Yan Jin, Jean-Philippe Hamiez, Jin-Kao Hao
|
🔮
The Ethereal
|
cs.DM
|
38 |
11 years ago |
| 236 |
Differential Hybrid Games
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
38 |
11 years ago |
| 237 |
On the classification of linear complementary dual codes
Makoto Araya, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
38 |
8 years ago |
| 238 |
Lifting Sum-of-Squares Lower Bounds: Degree-$2$ to Degree-$4$
Sidhanth Mohanty, Prasad Raghavendra, Jeff Xu
|
🔮
The Ethereal
|
cs.CC
|
38 |
6 years ago |
| 239 |
Computational Feasibility of Clustering under Clusterability Assumptions
Shai Ben-David
|
🔮
The Ethereal
|
cs.CC
|
37 |
11 years ago |
| 240 |
Relational reasoning via probabilistic coupling
Gilles Barthe, Thomas Espitau, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
37 |
10 years ago |
| 241 |
Deterministic Regular Expressions With Back-References
Dominik D. Freydenberger, Markus L. Schmid
|
🔮
The Ethereal
|
cs.FL
|
37 |
8 years ago |
| 242 |
Finer Tight Bounds for Coloring on Clique-Width
Michael Lampis
|
🔮
The Ethereal
|
cs.CC
|
37 |
8 years ago |
| 243 |
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
37 |
8 years ago |
| 244 |
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
37 |
7 years ago |
| 245 |
Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
|
🔮
The Ethereal
|
math.CO
|
37 |
4 years ago |
| 246 |
A structural approach to kernels for ILPs: Treewidth and Total Unimodularity
Bart M. P. Jansen, Stefan Kratsch
|
🔮
The Ethereal
|
cs.CC
|
36 |
11 years ago |
| 247 |
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
Daniel Neider, Ufuk Topcu
|
🔮
The Ethereal
|
cs.FL
|
36 |
10 years ago |
| 248 |
Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
|
🔮
The Ethereal
|
cs.FL
|
36 |
10 years ago |
| 249 |
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
Stefan Mitsch, André Platzer
|
🔮
The Ethereal
|
cs.LO
|
36 |
9 years ago |
| 250 |
Assigning times to minimise reachability in temporal graphs
Jessica Enright, Kitty Meeks, Fiona Skerman
|
🔮
The Ethereal
|
cs.CC
|
36 |
8 years ago |