| 1001 |
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL
Carsten Lutz, Leif Sabellek
|
🔮
The Ethereal
|
cs.CC
|
10 |
7 years ago |
| 1002 |
On the Parallel Reconstruction from Pooled Data
Oliver Gebhard, Max Hahn-Klimroth, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
10 |
7 years ago |
| 1003 |
Evacuating Two Robots from a Disk: A Second Cut
Yann Disser, Sören Schmitt
|
🔮
The Ethereal
|
cs.DM
|
10 |
7 years ago |
| 1004 |
Reconfigurable Interaction for MAS Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
|
🔮
The Ethereal
|
cs.LO
|
10 |
7 years ago |
| 1005 |
A spectral bound on hypergraph discrepancy
Aditya Potukuchi
|
🔮
The Ethereal
|
math.CO
|
10 |
7 years ago |
| 1006 |
Complexity of Modification Problems for Reciprocal Best Match Graphs
Marc Hellmuth, Manuela Geiß, Peter F. Stadler
|
🔮
The Ethereal
|
cs.CC
|
10 |
7 years ago |
| 1007 |
Inconsistency Proofs for ASP: The ASP-DRUPE Format
Mario Alviano, Carmine Dodaro, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
7 years ago |
| 1008 |
Compiling With Classical Connectives
Paul Downen, Zena M. Ariola
|
🔮
The Ethereal
|
cs.LO
|
10 |
6 years ago |
| 1009 |
On the existence of paradoxical motions of generically rigid graphs on the sphere
Matteo Gallet, Georg Grasegger, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
10 |
6 years ago |
| 1010 |
Towards Constraint Logic Programming over Strings for Test Data Generation
Sebastian Krings, Joshua Schmidt, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
6 years ago |
| 1011 |
A dynamic epistemic logic analysis of the equality negation task
Eric Goubault, Marijana Lazic, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
6 years ago |
| 1012 |
Subspace Packings -- Constructions and Bounds
Tuvi Etzion, Sascha Kurz, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
10 |
6 years ago |
| 1013 |
Whitney Numbers of Combinatorial Geometries and Higher-Weight Dowling Lattices
Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
10 |
6 years ago |
| 1014 |
Reconstruction of time-consistent species trees
Manuel Lafond, Marc Hellmuth
|
🔮
The Ethereal
|
cs.DM
|
10 |
6 years ago |
| 1015 |
Controlling a random population
Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann
|
🔮
The Ethereal
|
cs.FL
|
10 |
6 years ago |
| 1016 |
Verifying Visibility-Based Weak Consistency
Siddharth Krishna, Michael Emmi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
6 years ago |
| 1017 |
A Polynomial Kernel for Paw-Free Editing
Eduard Eiben, William Lochet, Saket Saurabh
|
🔮
The Ethereal
|
math.CO
|
10 |
6 years ago |
| 1018 |
Hardness of Bounded Distance Decoding on Lattices in $\ell_p$ Norms
Huck Bennett, Chris Peikert
|
🔮
The Ethereal
|
cs.CC
|
10 |
6 years ago |
| 1019 |
Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction
Marvin Künnemann, Dániel Marx
|
🔮
The Ethereal
|
cs.CC
|
10 |
6 years ago |
| 1020 |
IsarStep: a Benchmark for High-level Mathematical Reasoning
Wenda Li, Lei Yu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
6 years ago |
| 1021 |
Efficient Document Exchange and Error Correcting Codes with Asymmetric Information
Kuan Cheng, Xin Li
|
🔮
The Ethereal
|
cs.CC
|
10 |
6 years ago |
| 1022 |
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
Markus Hecher, Jorge Fandinno
|
🔮
The Ethereal
|
cs.LO
|
10 |
6 years ago |
| 1023 |
Sequential composition of propositional logic programs
Christian Antic
|
🔮
The Ethereal
|
cs.LO
|
10 |
5 years ago |
| 1024 |
A Complete Approach to Loop Verification with Invariants and Summaries
Gidon Ernst
|
🔮
The Ethereal
|
cs.LO
|
10 |
5 years ago |
| 1025 |
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Thomas Gogacz, Víctor Gutiérrez-Basulto, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
5 years ago |
| 1026 |
A Multistage View on 2-Satisfiability
Till Fluschnik
|
🔮
The Ethereal
|
cs.CC
|
10 |
5 years ago |
| 1027 |
Quantum Combinatorial Games: Structures and Computational Complexity
Kyle Burke, Matthew Ferland, Shang-Hua Teng
|
🔮
The Ethereal
|
cs.CC
|
10 |
5 years ago |
| 1028 |
The complexity of bounded context switching with dynamic thread creation
Pascal Baumann, Rupak Majumdar, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
10 |
5 years ago |
| 1029 |
Linear Hashing with $\ell_\infty$ guarantees and two-sided Kakeya bounds
Manik Dhar, Zeev Dvir
|
🔮
The Ethereal
|
math.CO
|
10 |
4 years ago |
| 1030 |
Streaming and Sketching Complexity of CSPs: A survey
Madhu Sudan
|
🔮
The Ethereal
|
cs.CC
|
10 |
4 years ago |
| 1031 |
Polynomial formulations as a barrier for reduction-based hardness proofs
Tatiana Belova, Alexander Golovnev, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
4 years ago |
| 1032 |
Superpolynomial Lower Bounds for Decision Tree Learning and Testing
Caleb Koch, Carmen Strassle, Li-Yang Tan
|
🔮
The Ethereal
|
cs.CC
|
10 |
3 years ago |
| 1033 |
Lattice Problems Beyond Polynomial Time
Divesh Aggarwal, Huck Bennett, ... (+7 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
3 years ago |
| 1034 |
Separating MAX 2-AND, MAX DI-CUT and MAX CUT
Joshua Brakensiek, Neng Huang, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
3 years ago |
| 1035 |
Solving Projected Model Counting by Utilizing Treewidth and its Limits
Johannes K. Fichte, Markus Hecher, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
3 years ago |
| 1036 |
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
Kevin Batz, Tom Jannik Biskup, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
2 years ago |
| 1037 |
Exact ASP Counting with Compact Encodings
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
|
🔮
The Ethereal
|
cs.LO
|
10 |
2 years ago |
| 1038 |
On generalized Sidon spaces
Chiara Castello
|
🔮
The Ethereal
|
math.CO
|
10 |
2 years ago |
| 1039 |
Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems
Shuichi Hirahara, Naoto Ohsaka
|
🔮
The Ethereal
|
cs.CC
|
10 |
2 years ago |
| 1040 |
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Alejandro Aguirre, Philipp G. Haselwarter, ... (+5 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
2 years ago |
| 1041 |
Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos
|
🔮
The Ethereal
|
cs.LO
|
10 |
2 years ago |
| 1042 |
Tree Independence Number IV. Even-hole-free Graphs
Maria Chudnovsky, Peter Gartland, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
10 |
2 years ago |
| 1043 |
On the Complexity of Neural Computation in Superposition
Micah Adler, Nir Shavit
|
🔮
The Ethereal
|
cs.CC
|
10 |
1 year ago |
| 1044 |
Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
|
🔮
The Ethereal
|
cs.LO
|
9 |
11 years ago |
| 1045 |
Towards an Algebra for Cascade Effects
Elie M. Adam, Munther A. Dahleh, Asuman Ozdaglar
|
🔮
The Ethereal
|
cs.DM
|
9 |
11 years ago |
| 1046 |
Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study
Cyprien Mangin, Matthieu Sozeau
|
🔮
The Ethereal
|
cs.LO
|
9 |
10 years ago |
| 1047 |
Program Analysis with Local Policy Iteration
George Karpenkov, David Monniaux, Philipp Wendler
|
🔮
The Ethereal
|
cs.LO
|
9 |
10 years ago |
| 1048 |
Fix Your Types
Sol Swords, Jared Davis
|
🔮
The Ethereal
|
cs.LO
|
9 |
10 years ago |
| 1049 |
On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth
Igor Razgon
|
🔮
The Ethereal
|
cs.CC
|
9 |
10 years ago |
| 1050 |
Range-based argumentation semantics as 2-valued models
Mauricio Osorio, Juan Carlos Nieves
|
🔮
The Ethereal
|
cs.LO
|
9 |
10 years ago |