| 301 |
Computational Complexity of Motion Planning of a Robot through Simple Gadgets
Erik D. Demaine, Isaac Grosof, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
7 years ago |
| 302 |
Shepherding Hordes of Markov Chains
Milan Ceska, Nils Jansen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
30 |
7 years ago |
| 303 |
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
|
🔮
The Ethereal
|
cs.LO
|
30 |
6 years ago |
| 304 |
Simple Strategies in Multi-Objective MDPs (Technical Report)
Florent Delgrange, Joost-Pieter Katoen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
30 |
6 years ago |
| 305 |
Fine-grained hardness of CVP(P) -- Everything that we can prove (and nothing else)
Divesh Aggarwal, Huck Bennett, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
6 years ago |
| 306 |
A Note on Double Pooling Tests
Andrei Z. Broder, Ravi Kumar
|
🔮
The Ethereal
|
cs.DM
|
30 |
6 years ago |
| 307 |
Conjunctive Queries: Unique Characterizations and Exact Learnability
Balder ten Cate, Victor Dalmau
|
🔮
The Ethereal
|
cs.LO
|
30 |
5 years ago |
| 308 |
Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms
Karthik Gajulapalli, Alexander Golovnev, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
3 years ago |
| 309 |
A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation
Omar Alrabiah, Venkatesan Guruswami, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
2 years ago |
| 310 |
Canonizing Graphs of Bounded Tree Width in Logspace
Michael Elberfeld, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.CC
|
29 |
10 years ago |
| 311 |
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
|
🔮
The Ethereal
|
cs.LO
|
29 |
10 years ago |
| 312 |
Approximating permanents and hafnians
Alexander Barvinok
|
🔮
The Ethereal
|
math.CO
|
29 |
10 years ago |
| 313 |
A general lower bound for collaborative tree exploration
Yann Disser, Frank Mousset, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
29 |
9 years ago |
| 314 |
Dichotomy for Digraph Homomorphism Problems
Tomás Feder, Jeff Kinne, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
29 |
9 years ago |
| 315 |
Low-Rank Matrix Approximation in the Infinity Norm
Nicolas Gillis, Yaroslav Shitov
|
🔮
The Ethereal
|
cs.CC
|
29 |
8 years ago |
| 316 |
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Pavel Dvořák, Eduard Eiben, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
29 |
8 years ago |
| 317 |
Computer-aided proofs for multiparty computation with active security
Helene Haagh, Aleksandr Karbyshev, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
29 |
7 years ago |
| 318 |
On the specification and verification of atomic swap smart contracts
Ron van der Meyden
|
🔮
The Ethereal
|
cs.LO
|
29 |
7 years ago |
| 319 |
Reconstructing Trees from Traces
Sami Davies, Miklos Z. Racz, Cyrus Rashtchian
|
🔮
The Ethereal
|
cs.CC
|
29 |
7 years ago |
| 320 |
Fast uniform generation of random graphs with given degree sequences
Andrii Arman, Pu Gao, Nicholas Wormald
|
🔮
The Ethereal
|
math.CO
|
29 |
6 years ago |
| 321 |
Treewidth versus clique number. I. Graph classes with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
|
🔮
The Ethereal
|
math.CO
|
29 |
5 years ago |
| 322 |
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Dan Frumin, Robbert Krebbers, Lars Birkedal
|
🔮
The Ethereal
|
cs.LO
|
29 |
5 years ago |
| 323 |
Counting Subgraphs in Degenerate Graphs
Suman K. Bera, Lior Gishboliner, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
29 |
5 years ago |
| 324 |
Relatively Complete Verification of Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
29 |
5 years ago |
| 325 |
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian Francalanza
|
🔮
The Ethereal
|
cs.LO
|
28 |
11 years ago |
| 326 |
Towards Formal Fault Tree Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
|
🔮
The Ethereal
|
cs.LO
|
28 |
10 years ago |
| 327 |
Quantitative information flow under generic leakage functions and adaptive adversaries
M. Boreale, Francesca Pampaloni
|
🔮
The Ethereal
|
cs.LO
|
28 |
10 years ago |
| 328 |
The Minrank of Random Graphs
Alexander Golovnev, Oded Regev, Omri Weinstein
|
🔮
The Ethereal
|
cs.CC
|
28 |
9 years ago |
| 329 |
Non interactive simulation of correlated distributions is decidable
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
28 |
9 years ago |
| 330 |
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
Ondrej Lengal, Anthony W. Lin, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
8 years ago |
| 331 |
A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings
Anna R. Karlin, Shayan Oveis Gharan, Robbie Weber
|
🔮
The Ethereal
|
cs.DM
|
28 |
8 years ago |
| 332 |
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
|
🔮
The Ethereal
|
cs.LO
|
28 |
7 years ago |
| 333 |
Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
6 years ago |
| 334 |
Verifying Tight Logic Programs with anthem and Vampire
Jorge Fandinno, Vladimir Lifschitz, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
5 years ago |
| 335 |
New Techniques for Proving Fine-Grained Average-Case Hardness
Mina Dalirrooyfard, Andrea Lincoln, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
28 |
5 years ago |
| 336 |
On Approximability of Clustering Problems Without Candidate Centers
Vincent Cohen-Addad, Karthik C. S., Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
28 |
5 years ago |
| 337 |
The Strongish Planted Clique Hypothesis and Its Consequences
Pasin Manurangsi, Aviad Rubinstein, Tselil Schramm
|
🔮
The Ethereal
|
cs.CC
|
28 |
5 years ago |
| 338 |
The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexity
Yifang Chen, Xiaoyu Li, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
28 |
1 year ago |
| 339 |
Learning Regular Languages over Large Ordered Alphabets
Irini-Eleftheria Mens, Oded Maler
|
🔮
The Ethereal
|
cs.LO
|
27 |
10 years ago |
| 340 |
Polyhedral aspects of Submodularity, Convexity and Concavity
Rishabh Iyer, Jeff Bilmes
|
🔮
The Ethereal
|
cs.DM
|
27 |
10 years ago |
| 341 |
Type-based Self-stabilisation for Computational Fields
Ferruccio Damiani, Mirko Viroli
|
🔮
The Ethereal
|
cs.LO
|
27 |
10 years ago |
| 342 |
NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Mauricio Toro, Camilo Rueda, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
27 |
10 years ago |
| 343 |
Constructive noncommutative rank computation is in deterministic polynomial time
Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam
|
🔮
The Ethereal
|
cs.CC
|
27 |
10 years ago |
| 344 |
Modularity of regular and treelike graphs
Colin McDiarmid, Fiona Skerman
|
🔮
The Ethereal
|
math.CO
|
27 |
9 years ago |
| 345 |
Improved Hardness for Cut, Interdiction, and Firefighter Problems
Euiwoong Lee
|
🔮
The Ethereal
|
cs.CC
|
27 |
9 years ago |
| 346 |
lpopt: A Rule Optimization Tool for Answer Set Programming
Manuel Bichler, Michael Morak, Stefan Woltran
|
🔮
The Ethereal
|
cs.LO
|
27 |
9 years ago |
| 347 |
Faster Greedy MAP Inference for Determinantal Point Processes
Insu Han, Prabhanjan Kambadur, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
27 |
9 years ago |
| 348 |
Limits on representing Boolean functions by linear combinations of simple functions: thresholds, ReLUs, and low-degree polynomials
R. Ryan Williams
|
🔮
The Ethereal
|
cs.CC
|
27 |
8 years ago |
| 349 |
Sampling in Uniqueness from the Potts and Random-Cluster Models on Random Regular Graphs
Antonio Blanca, Andreas Galanis, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
27 |
8 years ago |
| 350 |
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
|
🔮
The Ethereal
|
cs.LO
|
27 |
8 years ago |