| 651 |
Equivalences between triangle and range query problems
Lech Duraj, Krzysztof Kleiner, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
6 years ago |
| 652 |
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Andreas Abel, Thierry Coquand
|
🔮
The Ethereal
|
cs.LO
|
16 |
6 years ago |
| 653 |
Multistage s-t Path: Confronting Similarity with Dissimilarity
Till Fluschnik, Rolf Niedermeier, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
6 years ago |
| 654 |
Counterexamples to the Low-Degree Conjecture
Justin Holmgren, Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
16 |
6 years ago |
| 655 |
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Hubie Chen, Georg Gottlob, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
5 years ago |
| 656 |
Equilibria for Games with Combined Qualitative and Quantitative Objectives
Julian Gutierrez, Aniello Murano, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
16 |
5 years ago |
| 657 |
A construction of minimal linear codes from partial difference sets
Ran Tao, Tao Feng, Weicong Li
|
🔮
The Ethereal
|
math.CO
|
16 |
5 years ago |
| 658 |
Impossibility Results for Grammar-Compressed Linear Algebra
Amir Abboud, Arturs Backurs, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
5 years ago |
| 659 |
Tight Dynamic Problem Lower Bounds from Generalized BMM and OMv
Ce Jin, Yinzhan Xu
|
🔮
The Ethereal
|
cs.CC
|
16 |
4 years ago |
| 660 |
Which arithmetic operations can be performed in constant time in the RAM model with addition?
Étienne Grandjean, Louis Jachiet
|
🔮
The Ethereal
|
cs.CC
|
16 |
3 years ago |
| 661 |
Finding Matching Cuts in $H$-Free Graphs
Felicia Lucke, Daniël Paulusma, Bernard Ries
|
🔮
The Ethereal
|
math.CO
|
16 |
3 years ago |
| 662 |
Is Planted Coloring Easier than Planted Clique?
Pravesh K. Kothari, Santosh S. Vempala, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
3 years ago |
| 663 |
Constructions and equivalence of Sidon spaces
Chiara Castello, Olga Polverino, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
16 |
3 years ago |
| 664 |
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
16 |
2 years ago |
| 665 |
Computing maximal autarkies with few and simple oracle queries
Oliver Kullmann, Joao Marques-Silva
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 666 |
Perfect codes in the lp metric
Antonio Campello, Grasiele C. Jorge, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
15 |
10 years ago |
| 667 |
Almost Optimal Cover-Free Families
Nader H. Bshouty, Ariel Gabizon
|
🔮
The Ethereal
|
cs.DM
|
15 |
10 years ago |
| 668 |
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Stefan Borgwardt, Theofilos Mailis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 669 |
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)
Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 670 |
Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Colin Defant
|
🔮
The Ethereal
|
math.CO
|
15 |
10 years ago |
| 671 |
Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations
William Kuszmaul
|
🔮
The Ethereal
|
cs.DM
|
15 |
10 years ago |
| 672 |
Low Rank Approximation of Binary Matrices: Column Subset Selection and Generalizations
Chen Dan, Kristoffer Arnsfelt Hansen, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
15 |
10 years ago |
| 673 |
Tight Bounds for the Distribution-Free Testing of Monotone Conjunctions
Xi Chen, Jinyu Xie
|
🔮
The Ethereal
|
cs.DM
|
15 |
10 years ago |
| 674 |
Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 675 |
A multi-paradigm language for reactive synthesis
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 676 |
A minimum-change version of the Chung-Feller theorem for Dyck paths
Torsten Mütze, Christoph Standke, Veit Wiechert
|
🔮
The Ethereal
|
math.CO
|
15 |
10 years ago |
| 677 |
Two-level lot-sizing with inventory bounds
Siao-Leu Phouratsamay, Safia Kedad-Sidhoum, Fanny Pascual
|
🔮
The Ethereal
|
cs.CC
|
15 |
10 years ago |
| 678 |
On Restricted Nonnegative Matrix Factorization
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
15 |
9 years ago |
| 679 |
Doubly Balanced Connected Graph Partitioning
Saleh Soltan, Mihalis Yannakakis, Gil Zussman
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 680 |
Trimming and gluing Gray codes
Petr Gregor, Torsten Mütze
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 681 |
Structural Bounds on the Dyadic Effect
Matteo Cinelli, Giovanna Ferraro, Antonio Iovanella
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 682 |
Twenty (simple) questions
Yuval Dagan, Yuval Filmus, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
9 years ago |
| 683 |
Sensitivity Analysis for Convex Separable Optimization over Integral Polymatroids
Tobias Harks, Max Klimm, Britta Peis
|
🔮
The Ethereal
|
cs.DM
|
15 |
9 years ago |
| 684 |
Monte Carlo Tableau Proof Search
Michael Färber, Cezary Kaliszyk, Josef Urban
|
🔮
The Ethereal
|
cs.LO
|
15 |
9 years ago |
| 685 |
Matrix multiplication algorithms from group orbits
Joshua A. Grochow, Cristopher Moore
|
🔮
The Ethereal
|
cs.CC
|
15 |
9 years ago |
| 686 |
Costas cubes
Jonathan Jedwab, Lily Yen
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 687 |
On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 688 |
Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 689 |
MaxMinSum Steiner Systems for Access-Balancing in Distributed Storage
Hoang Dau, Olgica Milenkovic
|
🔮
The Ethereal
|
math.CO
|
15 |
8 years ago |
| 690 |
Connectivity in Interdependent Networks
Jianan Zhang, Eytan Modiano
|
🔮
The Ethereal
|
cs.DM
|
15 |
8 years ago |
| 691 |
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 |
| 692 |
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 |
| 693 |
Proving Soundness of Extensional Normal-Form Bisimilarities
Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 694 |
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 |
| 695 |
Exploring Approximations for Floating-Point Arithmetic using UppSAT
Aleksandar Zeljic, Peter Backeman, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 696 |
Lifting Linear Extension Complexity Bounds to the Mixed-Integer Setting
Alfonso Cevallos, Stefan Weltge, Rico Zenklusen
|
🔮
The Ethereal
|
cs.DM
|
15 |
8 years ago |
| 697 |
Computing Hitting Set Kernels By AC^0-Circuits
Max Bannach, Till Tantau
|
🔮
The Ethereal
|
cs.CC
|
15 |
8 years ago |
| 698 |
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 |
| 699 |
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Fabrizio Genovese, Jelle Herold
|
🔮
The Ethereal
|
math.CT
|
15 |
7 years ago |
| 700 |
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 |
7 years ago |