| 551 |
Does robustness imply tractability? A lower bound for planted clique in the semi-random model
Jacob Steinhardt
|
🔮
The Ethereal
|
cs.CC
|
19 |
9 years ago |
| 552 |
Lower Bound On the Computational Complexity of Discounted Markov Decision Problems
Yichen Chen, Mengdi Wang
|
🔮
The Ethereal
|
cs.CC
|
19 |
9 years ago |
| 553 |
Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs
Amit Levi, Erik Waingarten
|
🔮
The Ethereal
|
cs.CC
|
19 |
8 years ago |
| 554 |
Everybody's Got To Be Somewhere
Conor McBride
|
🔮
The Ethereal
|
cs.LO
|
19 |
8 years ago |
| 555 |
Reasoning in Bayesian Opinion Exchange Networks Is PSPACE-Hard
Jan Hązła, Ali Jadbabaie, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
19 |
7 years ago |
| 556 |
A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
7 years ago |
| 557 |
The Demand Query Model for Bipartite Matching
Noam Nisan
|
🔮
The Ethereal
|
cs.CC
|
19 |
7 years ago |
| 558 |
Verifying that a compiler preserves concurrent value-dependent information-flow security
Robert Sison, Toby Murray
|
🔮
The Ethereal
|
cs.LO
|
19 |
7 years ago |
| 559 |
Crumbling Abstract Machines
Beniamino Accattoli, Andrea Condoluci, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
7 years ago |
| 560 |
Directed Homotopy in Non-Positively Curved Spaces
Eric Goubault, Samuel Mimram
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 561 |
Aggregate Queries on Sparse Databases
Szymon Toruńczyk
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 562 |
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 563 |
Enhancing SAT solvers with glue variable predictions
Jesse Michael Han
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 564 |
Equitable Scheduling on a Single Machine
Klaus Heeger, Danny Hermelin, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
19 |
5 years ago |
| 565 |
On cutting blocking sets and their codes
Daniele Bartoli, Antonio Cossidente, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
19 |
5 years ago |
| 566 |
Linearly ordered colourings of hypergraphs
Tamio-Vesa Nakajima, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
19 |
4 years ago |
| 567 |
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
19 |
3 years ago |
| 568 |
Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
19 |
3 years ago |
| 569 |
Strong blocking sets and minimal codes from expander graphs
Noga Alon, Anurag Bishnoi, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
19 |
3 years ago |
| 570 |
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
19 |
3 years ago |
| 571 |
Eigenvalue Bounds for Sum-Rank-Metric Codes
Aida Abiad, Antonina P. Khramova, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
19 |
2 years ago |
| 572 |
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
19 |
2 years ago |
| 573 |
Variable and value elimination in binary constraint satisfaction via forbidden patterns
David A. Cohen, Martin C. Cooper, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
18 |
11 years ago |
| 574 |
Computing with Tangles
Martin Grohe, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.DM
|
18 |
11 years ago |
| 575 |
PDE Approaches to Graph Analysis
Justin Solomon
|
🔮
The Ethereal
|
cs.DM
|
18 |
11 years ago |
| 576 |
All or Nothing at All
Paolo D'Arco, Navid Nasr Esfahani, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 577 |
Protection of flows under targeted attacks
Jannik Matuschke, S. Thomas McCormick, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
10 years ago |
| 578 |
On universal partial words
Herman Z. Q. Chen, Sergey Kitaev, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 579 |
Noisy population recovery in polynomial time
Anindya De, Michael Saks, Sijian Tang
|
🔮
The Ethereal
|
cs.CC
|
18 |
10 years ago |
| 580 |
Perfect snake-in-the-box codes for rank modulation
Alexander E. Holroyd
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 581 |
Shotgun Assembly of Random Jigsaw Puzzles
Charles Bordenave, Uriel Feige, Elchanan Mossel
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 582 |
Hardness of Permutation Pattern Matching
Vít Jelínek, Jan Kynčl
|
🔮
The Ethereal
|
math.CO
|
18 |
9 years ago |
| 583 |
On the Group and Color Isomorphism Problems
François Le Gall, David J. Rosenbaum
|
🔮
The Ethereal
|
cs.CC
|
18 |
9 years ago |
| 584 |
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
18 |
9 years ago |
| 585 |
The flip Markov chain for connected regular graphs
Colin Cooper, Martin Dyer, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
9 years ago |
| 586 |
Optimal Data Reduction for Graph Coloring Using Low-Degree Polynomials
Bart M. P. Jansen, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
18 |
8 years ago |
| 587 |
Priority Evacuation from a Disk Using Mobile Robots
J. Czyzowicz, K. Georgiou, ... (+6 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
8 years ago |
| 588 |
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Alexander Semenov, Ilya Otpuschennikov, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
8 years ago |
| 589 |
Correlation Clustering Generalized
David F. Gleich, Nate Veldt, Anthony Wirth
|
🔮
The Ethereal
|
cs.CC
|
18 |
7 years ago |
| 590 |
Debugging Smart Contract's Business Logic Using Symbolic Model-Checking
Evgeniy Shishkin
|
🔮
The Ethereal
|
cs.LO
|
18 |
7 years ago |
| 591 |
Determinantal conditions for homomorphic sensing
Manolis C. Tsakiris
|
🔮
The Ethereal
|
math.CO
|
18 |
7 years ago |
| 592 |
Token Swapping on Trees
Ahmad Biniaz, Kshitij Jain, ... (+7 more)
|
🔮
The Ethereal
|
cs.CC
|
18 |
7 years ago |
| 593 |
SMT-based Constraint Answer Set Solver EZSMT+
Da Shen, Yuliya Lierler
|
🔮
The Ethereal
|
cs.LO
|
18 |
7 years ago |
| 594 |
Towards Finding Longer Proofs
Zsolt Zombori, Adrián Csiszárik, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
7 years ago |
| 595 |
Relative Hausdorff Distance for Network Analysis
Sinan G. Aksoy, Kathleen E. Nowak, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
7 years ago |
| 596 |
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Shahin Kamali, Avery Miller, Kenny Zhang
|
🔮
The Ethereal
|
math.CO
|
18 |
6 years ago |
| 597 |
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 598 |
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 599 |
APX-Hardness and Approximation for the k-Burning Number Problem
Debajyoti Mondal, N. Parthiban, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
18 |
6 years ago |
| 600 |
Asymptotically Optimal Vertex Ranking of Planar Graphs
Prosenjit Bose, Vida Dujmović, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
6 years ago |