| 1201 |
Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters
Esther Galby, Liana Khazaliya, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
8 |
4 years ago |
| 1202 |
Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving
Christoph Wernhard
|
🔮
The Ethereal
|
cs.LO
|
8 |
3 years ago |
| 1203 |
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
|
🔮
The Ethereal
|
cs.FL
|
8 |
3 years ago |
| 1204 |
A refinement on the structure of vertex-critical ($P_5$, gem)-free graphs
Ben Cameron, Chính T. Hoàng
|
🔮
The Ethereal
|
math.CO
|
8 |
3 years ago |
| 1205 |
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Tobias Kappé, Todd Schmid, Alexandra Silva
|
🔮
The Ethereal
|
cs.LO
|
8 |
3 years ago |
| 1206 |
A Logical Account of Subtyping for Session Types
Ross Horne, Luca Padovani
|
🔮
The Ethereal
|
cs.LO
|
8 |
3 years ago |
| 1207 |
Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
Takehiro Ito, Naonori Kakimura, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
3 years ago |
| 1208 |
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
Hans L. Bodlaender, Matthew Johnson, ... (+6 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
3 years ago |
| 1209 |
Relaxed Local Correctability from Local Testing
Vinayak M. Kumar, Geoffrey Mon
|
🔮
The Ethereal
|
cs.CC
|
8 |
3 years ago |
| 1210 |
A note on $t$-designs in isodual codes
Madoka Awada, Tsuyoshi Miezaki, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
2 years ago |
| 1211 |
Improved bounds for the zeros of the chromatic polynomial via Whitney's Broken Circuit Theorem
Matthew Jenssen, Viresh Patel, Guus Regts
|
🔮
The Ethereal
|
math.CO
|
8 |
2 years ago |
| 1212 |
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
2 years ago |
| 1213 |
Semidefinite programming and linear equations vs. homomorphism problems
Lorenzo Ciardo, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
8 |
2 years ago |
| 1214 |
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Srajan Goyal, Alberto Griggio, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
2 years ago |
| 1215 |
The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds
Karl Bringmann, Allan Grønlund, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
8 |
2 years ago |
| 1216 |
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
2 years ago |
| 1217 |
A universal sequence of tensors for the asymptotic rank conjecture
Petteri Kaski, Mateusz Michałek
|
🔮
The Ethereal
|
cs.CC
|
8 |
2 years ago |
| 1218 |
Near Optimal Alphabet-Soundness Tradeoff PCPs
Dor Minzer, Kai Zhe Zheng
|
🔮
The Ethereal
|
cs.CC
|
8 |
2 years ago |
| 1219 |
Eigenvalue bounds for the distance-$t$ chromatic number of a graph and their application to Lee codes
Aida Abiad, Alessandro Neri, Luuk Reijnders
|
🔮
The Ethereal
|
math.CO
|
8 |
2 years ago |
| 1220 |
Computational hardness of detecting graph lifts and certifying lift-monotone properties of random regular graphs
Dmitriy Kunisky, Xifan Yu
|
🔮
The Ethereal
|
cs.CC
|
8 |
2 years ago |
| 1221 |
Counting Small Induced Subgraphs: Hardness via Fourier Analysis
Radu Curticapean, Daniel Neuen
|
🔮
The Ethereal
|
cs.CC
|
8 |
2 years ago |
| 1222 |
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
|
🔮
The Ethereal
|
cs.LO
|
8 |
2 years ago |
| 1223 |
Approximate Relational Reasoning for Higher-Order Probabilistic Programs
Philipp G. Haselwarter, Kwing Hei Li, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
2 years ago |
| 1224 |
A Demonic Outcome Logic for Randomized Nondeterminism
Noam Zilberstein, Dexter Kozen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
1 year ago |
| 1225 |
Graph classes through the lens of logic
Michał Pilipczuk
|
🔮
The Ethereal
|
math.CO
|
8 |
1 year ago |
| 1226 |
Explicit Lossless Vertex Expanders
Jun-Ting Hsieh, Alexander Lubotzky, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
1 year ago |
| 1227 |
A Linear/Producer/Consumer Model of Classical Linear Logic
Jennifer Paykin, Steve Zdancewic
|
🔮
The Ethereal
|
cs.LO
|
7 |
11 years ago |
| 1228 |
A Linear Time Algorithm for the $3$-neighbour Traveling Salesman Problem on Halin graphs and extensions
Brad Woods, Abraham Punnen, Tamon Stephen
|
🔮
The Ethereal
|
cs.DM
|
7 |
11 years ago |
| 1229 |
Communication with Contextual Uncertainty
Badih Ghazi, Ilan Komargodski, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
7 |
11 years ago |
| 1230 |
On the Connectedness of Clash-free Timetables
Moritz Mühlenthaler, Rolf Wanka
|
🔮
The Ethereal
|
cs.DM
|
7 |
11 years ago |
| 1231 |
Dual-normal Logic Programs - the Forgotten Class
Johannes K. Fichte, Miroslaw Truszczynski, Stefan Woltran
|
🔮
The Ethereal
|
cs.CC
|
7 |
11 years ago |
| 1232 |
An Open Challenge Problem Repository for Systems Supporting Binders
Amy Felty, Alberto Momigliano, Brigitte Pientka
|
🔮
The Ethereal
|
cs.LO
|
7 |
10 years ago |
| 1233 |
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie B. de Lima Filho
|
🔮
The Ethereal
|
cs.LO
|
7 |
10 years ago |
| 1234 |
Quantum Oracle Classification - The Case of Group Structure
Mark Zhandry
|
🔮
The Ethereal
|
cs.CC
|
7 |
10 years ago |
| 1235 |
Permutations sortable by two stacks in series
Andrew Elvey Price, Anthony J Guttmann
|
🔮
The Ethereal
|
math.CO
|
7 |
10 years ago |
| 1236 |
The minimum volume of subspace trades
Denis Krotov
|
🔮
The Ethereal
|
cs.DM
|
7 |
10 years ago |
| 1237 |
New Deterministic Algorithms for Solving Parity Games
Matthias Mnich, Heiko Röglin, Clemens Rösner
|
🔮
The Ethereal
|
cs.CC
|
7 |
10 years ago |
| 1238 |
Verifying Temporal Properties of Reactive Systems by Transformation
Geoff Hamilton
|
🔮
The Ethereal
|
cs.LO
|
7 |
10 years ago |
| 1239 |
Strong Backdoors for Default Logic
Johannes K. Fichte, Arne Meier, Irina Schindler
|
🔮
The Ethereal
|
cs.LO
|
7 |
10 years ago |
| 1240 |
On the Implicit Graph Conjecture
Maurice Chandoo
|
🔮
The Ethereal
|
cs.CC
|
7 |
10 years ago |
| 1241 |
Prediction of Infinite Words with Automata
Tim Smith
|
🔮
The Ethereal
|
cs.FL
|
7 |
10 years ago |
| 1242 |
Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem
Jonathan Gorard
|
🔮
The Ethereal
|
cs.DM
|
7 |
10 years ago |
| 1243 |
Ceteris paribus logic in counterfactual reasoning
Patrick Girard, Marcus Anthony Triplett
|
🔮
The Ethereal
|
cs.LO
|
7 |
10 years ago |
| 1244 |
From Weak to Strong LP Gaps for all CSPs
Mrinalkanti Ghosh, Madhur Tulsiani
|
🔮
The Ethereal
|
cs.CC
|
7 |
9 years ago |
| 1245 |
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
|
🔮
The Ethereal
|
math.LO
|
7 |
9 years ago |
| 1246 |
A Modular Formalization of Reversibility for Concurrent Models and Languages
Alexis Bernadet, Ivan Lanese
|
🔮
The Ethereal
|
cs.LO
|
7 |
9 years ago |
| 1247 |
Twisted Centralizer Codes
Adel Alahmadi, S. P. Glasby, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
7 |
9 years ago |
| 1248 |
Harder-Narasimhan theory for linear codes
Hugues Randriambololona
|
🔮
The Ethereal
|
math.CO
|
7 |
9 years ago |
| 1249 |
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Franz Baader, Stefan Borgwardt, Barbara Morawska
|
🔮
The Ethereal
|
cs.LO
|
7 |
9 years ago |
| 1250 |
Preserving Randomness for Adaptive Algorithms
William M. Hoza, Adam R. Klivans
|
🔮
The Ethereal
|
cs.CC
|
7 |
9 years ago |