| 651 |
Relational $\star$-Liftings for Differential Privacy
Gilles Barthe, Thomas Espitau, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
16 |
9 years ago |
| 652 |
DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Johannes K. Fichte, Markus Hecher, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
16 |
9 years ago |
| 653 |
Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs
Erik D. Demaine, Quanquan C. Liu
|
🔮
The Ethereal
|
cs.CC
|
16 |
9 years ago |
| 654 |
The Orthogonal Vectors Conjecture for Branching Programs and Formulas
Daniel Kane, Ryan Williams
|
🔮
The Ethereal
|
cs.CC
|
16 |
8 years ago |
| 655 |
Entropy Inequalities for Sums in Prime Cyclic Groups
Mokshay Madiman, Liyao Wang, Jae Oh Woo
|
🔮
The Ethereal
|
math.CO
|
16 |
8 years ago |
| 656 |
Scalable Approximation Algorithm for Network Immunization
Juvaria Tariq, Muhammad Ahmad, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
16 |
8 years ago |
| 657 |
Distributed coloring in sparse graphs with fewer colors
Pierre Aboulker, Marthe Bonamy, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
16 |
8 years ago |
| 658 |
Parameterized Complexity of Fair Vertex Evaluation Problems
Dušan Knop, Tomáš Masařík, Tomáš Toufar
|
🔮
The Ethereal
|
cs.CC
|
16 |
8 years ago |
| 659 |
On the Diameter of Tree Associahedra
Jean Cardinal, Stefan Langerman, Pablo Pérez-Lantero
|
🔮
The Ethereal
|
math.CO
|
16 |
8 years ago |
| 660 |
Polynomial Kernels for Hitting Forbidden Minors under Structural Parameterizations
Bart M. P. Jansen, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
16 |
8 years ago |
| 661 |
Approximation Strategies for Incomplete MaxSAT
Saurabh Joshi, Prateek Kumar, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
16 |
8 years ago |
| 662 |
Reasoning about Parallel Quantum Programs
Mingsheng Ying, Li Zhou, Yangjia Li
|
🔮
The Ethereal
|
cs.LO
|
16 |
7 years ago |
| 663 |
The External Interface for Extending WASP
Carmine Dodaro, Francesco Ricca
|
🔮
The Ethereal
|
cs.LO
|
16 |
7 years ago |
| 664 |
Founded World Views with Autoepistemic Equilibrium Logic
Pedro Cabalar, Jorge Fandinno, Luis Fariñas
|
🔮
The Ethereal
|
cs.LO
|
16 |
7 years ago |
| 665 |
Verification Logics for Quantum Programs
Robert Rand
|
🔮
The Ethereal
|
cs.LO
|
16 |
7 years ago |
| 666 |
A note on the linkage construction for constant dimension codes
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
16 |
7 years ago |
| 667 |
Metric Dimension Parameterized by Treewidth
Édouard Bonnet, Nidhi Purohit
|
🔮
The Ethereal
|
cs.CC
|
16 |
7 years ago |
| 668 |
Partial Compilation of ASP Programs
Bernardo Cuteri, Carmine Dodaro, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
16 |
7 years ago |
| 669 |
Equivalences between triangle and range query problems
Lech Duraj, Krzysztof Kleiner, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
6 years ago |
| 670 |
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Andreas Abel, Thierry Coquand
|
🔮
The Ethereal
|
cs.LO
|
16 |
6 years ago |
| 671 |
Multistage s-t Path: Confronting Similarity with Dissimilarity
Till Fluschnik, Rolf Niedermeier, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
6 years ago |
| 672 |
Counterexamples to the Low-Degree Conjecture
Justin Holmgren, Alexander S. Wein
|
🔮
The Ethereal
|
cs.CC
|
16 |
6 years ago |
| 673 |
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 |
| 674 |
Equilibria for Games with Combined Qualitative and Quantitative Objectives
Julian Gutierrez, Aniello Murano, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
16 |
5 years ago |
| 675 |
A construction of minimal linear codes from partial difference sets
Ran Tao, Tao Feng, Weicong Li
|
🔮
The Ethereal
|
math.CO
|
16 |
5 years ago |
| 676 |
Impossibility Results for Grammar-Compressed Linear Algebra
Amir Abboud, Arturs Backurs, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
5 years ago |
| 677 |
Tight Dynamic Problem Lower Bounds from Generalized BMM and OMv
Ce Jin, Yinzhan Xu
|
🔮
The Ethereal
|
cs.CC
|
16 |
4 years ago |
| 678 |
Which arithmetic operations can be performed in constant time in the RAM model with addition?
Étienne Grandjean, Louis Jachiet
|
🔮
The Ethereal
|
cs.CC
|
16 |
4 years ago |
| 679 |
Finding Matching Cuts in $H$-Free Graphs
Felicia Lucke, Daniël Paulusma, Bernard Ries
|
🔮
The Ethereal
|
math.CO
|
16 |
4 years ago |
| 680 |
Is Planted Coloring Easier than Planted Clique?
Pravesh K. Kothari, Santosh S. Vempala, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
3 years ago |
| 681 |
Constructions and equivalence of Sidon spaces
Chiara Castello, Olga Polverino, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
16 |
3 years ago |
| 682 |
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
16 |
3 years ago |
| 683 |
Computing maximal autarkies with few and simple oracle queries
Oliver Kullmann, Joao Marques-Silva
|
🔮
The Ethereal
|
cs.LO
|
15 |
11 years ago |
| 684 |
Perfect codes in the lp metric
Antonio Campello, Grasiele C. Jorge, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
15 |
11 years ago |
| 685 |
Almost Optimal Cover-Free Families
Nader H. Bshouty, Ariel Gabizon
|
🔮
The Ethereal
|
cs.DM
|
15 |
10 years ago |
| 686 |
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Stefan Borgwardt, Theofilos Mailis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 687 |
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 |
| 688 |
Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Colin Defant
|
🔮
The Ethereal
|
math.CO
|
15 |
10 years ago |
| 689 |
Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations
William Kuszmaul
|
🔮
The Ethereal
|
cs.DM
|
15 |
10 years ago |
| 690 |
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 |
| 691 |
Tight Bounds for the Distribution-Free Testing of Monotone Conjunctions
Xi Chen, Jinyu Xie
|
🔮
The Ethereal
|
cs.DM
|
15 |
10 years ago |
| 692 |
Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 693 |
A multi-paradigm language for reactive synthesis
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 694 |
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 |
| 695 |
Two-level lot-sizing with inventory bounds
Siao-Leu Phouratsamay, Safia Kedad-Sidhoum, Fanny Pascual
|
🔮
The Ethereal
|
cs.CC
|
15 |
10 years ago |
| 696 |
On Restricted Nonnegative Matrix Factorization
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
15 |
10 years ago |
| 697 |
Doubly Balanced Connected Graph Partitioning
Saleh Soltan, Mihalis Yannakakis, Gil Zussman
|
🔮
The Ethereal
|
math.CO
|
15 |
10 years ago |
| 698 |
Trimming and gluing Gray codes
Petr Gregor, Torsten Mütze
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 699 |
Structural Bounds on the Dyadic Effect
Matteo Cinelli, Giovanna Ferraro, Antonio Iovanella
|
🔮
The Ethereal
|
math.CO
|
15 |
9 years ago |
| 700 |
Twenty (simple) questions
Yuval Dagan, Yuval Filmus, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
9 years ago |