| 701 |
Sensitivity Analysis for Convex Separable Optimization over Integral Polymatroids
Tobias Harks, Max Klimm, Britta Peis
|
🔮
The Ethereal
|
cs.DM
|
15 |
9 years ago |
| 702 |
Monte Carlo Tableau Proof Search
Michael Färber, Cezary Kaliszyk, Josef Urban
|
🔮
The Ethereal
|
cs.LO
|
15 |
9 years ago |
| 703 |
Matrix multiplication algorithms from group orbits
Joshua A. Grochow, Cristopher Moore
|
🔮
The Ethereal
|
cs.CC
|
15 |
9 years ago |
| 704 |
Costas cubes
Jonathan Jedwab, Lily Yen
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 705 |
On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
9 years ago |
| 706 |
Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 707 |
MaxMinSum Steiner Systems for Access-Balancing in Distributed Storage
Hoang Dau, Olgica Milenkovic
|
🔮
The Ethereal
|
math.CO
|
15 |
8 years ago |
| 708 |
Connectivity in Interdependent Networks
Jianan Zhang, Eytan Modiano
|
🔮
The Ethereal
|
cs.DM
|
15 |
8 years ago |
| 709 |
A new family of MRD codes in $\mathbb F_q^{2n\times2n}$ with right and middle nuclei $\mathbb F_{q^n}$
Rocco Trombetti, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
15 |
8 years ago |
| 710 |
On Hashing-Based Approaches to Approximate DNF-Counting
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 711 |
Proving Soundness of Extensional Normal-Form Bisimilarities
Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 712 |
Randomized Near Neighbor Graphs, Giant Components, and Applications in Data Science
George C. Linderman, Gal Mishne, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
15 |
8 years ago |
| 713 |
Exploring Approximations for Floating-Point Arithmetic using UppSAT
Aleksandar Zeljic, Peter Backeman, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 714 |
Lifting Linear Extension Complexity Bounds to the Mixed-Integer Setting
Alfonso Cevallos, Stefan Weltge, Rico Zenklusen
|
🔮
The Ethereal
|
cs.DM
|
15 |
8 years ago |
| 715 |
Computing Hitting Set Kernels By AC^0-Circuits
Max Bannach, Till Tantau
|
🔮
The Ethereal
|
cs.CC
|
15 |
8 years ago |
| 716 |
Tight Hardness Results for Consensus Problems on Circular Strings and Time Series
Laurent Bulteau, Vincent Froese, Rolf Niedermeier
|
🔮
The Ethereal
|
cs.DM
|
15 |
8 years ago |
| 717 |
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Fabrizio Genovese, Jelle Herold
|
🔮
The Ethereal
|
math.CT
|
15 |
8 years ago |
| 718 |
Finding forbidden minors in sublinear time: a $n^{1/2+o(1)}$-query one-sided tester for minor closed properties on bounded degree graphs
Akash Kumar, C. Seshadhri, Andrew Stolman
|
🔮
The Ethereal
|
cs.DM
|
15 |
8 years ago |
| 719 |
Self-Driving Vehicle Verification Towards a Benchmark
Nima Roohi, Ramneet Kaur, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 720 |
On the Complexity of Value Iteration
Nikhil Balaji, Stefan Kiefer, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
15 |
8 years ago |
| 721 |
Enumerating minimal dominating sets in $K_t$-free graphs and variants
Marthe Bonamy, Oscar Defrain, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
7 years ago |
| 722 |
Spectrum graph coloring to improve Wi-Fi channel assignment in a real-world scenario via edge contraction
David Orden, Ivan Marsa-Maestre, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
7 years ago |
| 723 |
Finding a planted clique by adaptive probing
Miklós Z. Rácz, Benjamin Schiffer
|
🔮
The Ethereal
|
math.CO
|
15 |
7 years ago |
| 724 |
Parameterized Complexity of Conflict-free Graph Coloring
Hans L. Bodlaender, Sudeshna Kolay, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
15 |
7 years ago |
| 725 |
Doubly transitive lines II: Almost simple symmetries
Joseph W. Iverson, Dustin G. Mixon
|
🔮
The Ethereal
|
math.CO
|
15 |
7 years ago |
| 726 |
Correlation decay and partition function zeros: Algorithms and phase transitions
Jingcheng Liu, Alistair Sinclair, Piyush Srivastava
|
🔮
The Ethereal
|
cs.CC
|
15 |
7 years ago |
| 727 |
Provenance Analysis for Logic and Games
Erich Grädel, Val Tannen
|
🔮
The Ethereal
|
cs.LO
|
15 |
7 years ago |
| 728 |
Cubic bent functions outside the completed Maiorana-McFarland class
Alexandr Polujan, Alexander Pott
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 729 |
Sequential metric dimension for random graphs
Gergely Ódor, Patrick Thiran
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 730 |
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep, Olaf Maathuis, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
6 years ago |
| 731 |
Exact and approximation algorithms for the expanding search problem
Ben Hermans, Roel Leus, Jannik Matuschke
|
🔮
The Ethereal
|
cs.DM
|
15 |
6 years ago |
| 732 |
The theory of concatenation over finite models
Dominik D. Freydenberger, Liat Peterfreund
|
🔮
The Ethereal
|
cs.LO
|
15 |
6 years ago |
| 733 |
Structural Decompositions of Epistemic Logic Programs
Markus Hecher, Michael Morak, Stefan Woltran
|
🔮
The Ethereal
|
cs.CC
|
15 |
6 years ago |
| 734 |
New bounds for perfect $k$-hashing
Simone Costa, Marco Dalai
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 735 |
On girth and the parameterized complexity of token sliding and token jumping
Valentin Bartier, Nicolas Bousquet, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
15 |
6 years ago |
| 736 |
Thirty-seven years of relational Hoare logic: remarks on its principles and history
David A. Naumann
|
🔮
The Ethereal
|
cs.LO
|
15 |
6 years ago |
| 737 |
Explicit near-fully X-Ramanujan graphs
Ryan O'Donnell, Xinyu Wu
|
🔮
The Ethereal
|
math.CO
|
15 |
5 years ago |
| 738 |
Quantitative Strongest Post
Linpeng Zhang, Benjamin Lucien Kaminski
|
🔮
The Ethereal
|
cs.LO
|
15 |
4 years ago |
| 739 |
On Comparable Box Dimension
Zdenek Dvorák, Daniel Goncalves, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
4 years ago |
| 740 |
Explicit two-sided unique-neighbor expanders
Jun-Ting Hsieh, Theo McKenzie, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
15 |
3 years ago |
| 741 |
Geometric dual and sum-rank minimal codes
Martino Borello, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
15 |
3 years ago |
| 742 |
Certified Hardness vs. Randomness for Log-Space
Edward Pyne, Ran Raz, Wei Zhan
|
🔮
The Ethereal
|
cs.CC
|
15 |
3 years ago |
| 743 |
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Florent Foucaud, Esther Galby, ... (+5 more)
|
🔮
The Ethereal
|
cs.CC
|
15 |
3 years ago |
| 744 |
Barker sequences of odd length
Kai-Uwe Schmidt, Jürgen Willms
|
🔮
The Ethereal
|
math.CO
|
14 |
11 years ago |
| 745 |
Efficient Approximation Algorithms for Computing \emph{k} Disjoint Restricted Shortest Paths
Longkun Guo, Kewen Liao, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
14 |
11 years ago |
| 746 |
Approximation Algorithms for Generalized MST and TSP in Grid Clusters
Binay Bhattacharya, Ante Ćustić, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
14 |
11 years ago |
| 747 |
A Case Study on Logical Relations using Contextual Types
Andrew Cave, Brigitte Pientka
|
🔮
The Ethereal
|
cs.LO
|
14 |
10 years ago |
| 748 |
New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs
Markus Grassl, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
14 |
10 years ago |
| 749 |
Decoding Reed-Muller codes over product sets
John Kim, Swastik Kopparty
|
🔮
The Ethereal
|
cs.CC
|
14 |
10 years ago |
| 750 |
Fractals for Kernelization Lower Bounds
Till Fluschnik, Danny Hermelin, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
14 |
10 years ago |