| 1301 |
An Abstract Framework for Choreographic Testing
Alex Coto, Roberto Guanciale, Emilio Tuosto
|
🔮
The Ethereal
|
cs.FL
|
7 |
5 years ago |
| 1302 |
Answering Counting Queries over DL-Lite Ontologies
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
|
🔮
The Ethereal
|
cs.LO
|
7 |
5 years ago |
| 1303 |
Efficient constructions of the Prefer-same and Prefer-opposite de Bruijn sequences
Evan Sala, Joe Sawada, Abbas Alhakim
|
🔮
The Ethereal
|
cs.DM
|
7 |
5 years ago |
| 1304 |
A Framework to Quantify Approximate Simulation on Graph Data
Xiaoshuang Chen, Longbin Lai, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
5 years ago |
| 1305 |
On the Complexity of CSP-based Ideal Membership Problems
Andrei A. Bulatov, Akbar Rafiey
|
🔮
The Ethereal
|
cs.CC
|
7 |
5 years ago |
| 1306 |
Faster Algorithms for Sparse ILP and Hypergraph Multi-Packing/Multi-Cover Problems
Dmitry Gribanov, Dmitry Malyshev, Nikolai Zolotykh
|
🔮
The Ethereal
|
cs.CC
|
7 |
4 years ago |
| 1307 |
Balanced Allocations in Batches: Simplified and Generalized
Dimitrios Los, Thomas Sauerwald
|
🔮
The Ethereal
|
cs.DM
|
7 |
4 years ago |
| 1308 |
Optimally Reconfiguring List and Correspondence Colourings
Stijn Cambie, Wouter Cames van Batenburg, Daniel W. Cranston
|
🔮
The Ethereal
|
math.CO
|
7 |
4 years ago |
| 1309 |
Hardness of Maximum Likelihood Learning of DPPs
Elena Grigorescu, Brendan Juba, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
7 |
4 years ago |
| 1310 |
Packing cycles in planar and bounded-genus graphs
Niklas Schlomberg, Hanjo Thiele, Jens Vygen
|
🔮
The Ethereal
|
math.CO
|
7 |
4 years ago |
| 1311 |
Structured Decompositions: Structural and Algorithmic Compositionality
Benjamin Merlin Bumpus, Zoltan A. Kocsis, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
7 |
4 years ago |
| 1312 |
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Gricel Vázquez, Radu Calinescu, Javier Cámara
|
🔮
The Ethereal
|
cs.LO
|
7 |
3 years ago |
| 1313 |
Enumerating Regular Languages with Bounded Delay
Antoine Amarilli, Mikaël Monet
|
🔮
The Ethereal
|
cs.FL
|
7 |
3 years ago |
| 1314 |
Local and global expansion in random geometric graphs
Siqi Liu, Sidhanth Mohanty, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1315 |
Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms!
Divesh Aggarwal, Rajendra Kumar
|
🔮
The Ethereal
|
cs.CC
|
7 |
3 years ago |
| 1316 |
Isometric path complexity of graphs
Dibyayan Chakraborty, Jérémie Chalopin, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1317 |
Streaming Lower Bounds and Asymmetric Set-Disjointness
Shachar Lovett, Jiapeng Zhang
|
🔮
The Ethereal
|
cs.CC
|
7 |
3 years ago |
| 1318 |
Multisets and Distributions
Dexter Kozen, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
7 |
3 years ago |
| 1319 |
Decompositions of q-Matroids Using Cyclic Flats
Heide Gluesing-Luerssen, Benjamin Jany
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1320 |
Value Distributions of Perfect Nonlinear Functions
Lukas Kölsch, Alexandr Polujan
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1321 |
Pseudorandom Linear Codes are List Decodable to Capacity
Aaron L Putterman, Edward Pyne
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1322 |
Traversing combinatorial 0/1-polytopes via optimization
Arturo Merino, Torsten Mütze
|
🔮
The Ethereal
|
cs.DM
|
7 |
3 years ago |
| 1323 |
Higher-dimensional subdiagram matching
Amar Hadzihasanovic, Diana Kessler
|
🔮
The Ethereal
|
math.CT
|
7 |
3 years ago |
| 1324 |
CoProver: A Recommender System for Proof Construction
Eric Yeh, Briland Hitaj, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
3 years ago |
| 1325 |
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
Johannes K. Fichte, Robert Ganian, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
3 years ago |
| 1326 |
Exceptional designs in some extended quadratic residue codes
Reina Ishikawa
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1327 |
The Compositional Structure of Bayesian Inference
Dylan Braithwaite, Jules Hedges, Toby St Clere Smithe
|
🔮
The Ethereal
|
math.CT
|
7 |
3 years ago |
| 1328 |
On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications
Joshua A. Grochow, Youming Qiao
|
🔮
The Ethereal
|
cs.CC
|
7 |
3 years ago |
| 1329 |
Saturating linear sets of minimal rank
Daniele Bartoli, Martino Borello, Giuseppe Marino
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1330 |
Borel Vizing's Theorem for Graphs of Subexponential Growth
Anton Bernshteyn, Abhishek Dhawan
|
🔮
The Ethereal
|
math.CO
|
7 |
3 years ago |
| 1331 |
Community Detection in Hypergraphs via Mutual Information Maximization
Jurgen Kritschgau, Daniel Kaiser, ... (+8 more)
|
🔮
The Ethereal
|
cs.DM
|
7 |
2 years ago |
| 1332 |
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Juliane Päßler, Maurice H. ter Beek, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
2 years ago |
| 1333 |
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
Anton Bernshteyn, Felix Weilacher
|
🔮
The Ethereal
|
math.LO
|
7 |
2 years ago |
| 1334 |
Mildly Exponential Lower Bounds on Tolerant Testers for Monotonicity, Unateness, and Juntas
Xi Chen, Anindya De, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1335 |
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)
Joshua A. Grochow, Michael Levet
|
🔮
The Ethereal
|
cs.LO
|
7 |
2 years ago |
| 1336 |
Circular external difference families, graceful labellings and cyclotomy
Maura B. Paterson, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
7 |
2 years ago |
| 1337 |
Tight approximability of MAX 2-SAT and relatives, under UGC
Joshua Brakensiek, Neng Huang, Uri Zwick
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1338 |
Tight bounds on adjacency labels for monotone graph classes
Édouard Bonnet, Julien Duron, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
7 |
2 years ago |
| 1339 |
On Inapproximability of Reconfiguration Problems: PSPACE-Hardness and some Tight NP-Hardness Results
Venkatesan Guruswami, Karthik C. S., ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1340 |
Approximate generalized Steiner systems and near-optimal constant weight codes
Miao Liu, Chong Shangguan
|
🔮
The Ethereal
|
math.CO
|
7 |
2 years ago |
| 1341 |
Logical Predicates in Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Alessio Santamaria, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
2 years ago |
| 1342 |
On the Complexity of Establishing Hereditary Graph Properties via Vertex Splitting
Alexander Firbas, Manuel Sorge
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1343 |
Detecting Low-Degree Truncation
Anindya De, Huan Li, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1344 |
Locality Bounds for Sampling Hamming Slices
Daniel M. Kane, Anthony Ostuni, Kewen Wu
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1345 |
New scattered linearized quadrinomials
Valentino Smaldore, Corrado Zanella, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
7 |
2 years ago |
| 1346 |
Problems on Group-labeled Matroid Bases
Florian Hörsch, András Imolay, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
7 |
2 years ago |
| 1347 |
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
|
🔮
The Ethereal
|
cs.LO
|
7 |
2 years ago |
| 1348 |
Treewidth Inapproximability and Tight ETH Lower Bound
Édouard Bonnet
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1349 |
From Graph Properties to Graph Parameters: Tight Bounds for Counting on Small Subgraphs
Simon Döring, Dániel Marx, Philip Wellnitz
|
🔮
The Ethereal
|
cs.CC
|
7 |
2 years ago |
| 1350 |
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
|
🔮
The Ethereal
|
cs.LO
|
7 |
1 year ago |