| 3801 |
Hardness and Algorithmic Results for Roman \{3\}-Domination
Sangam Balchandar Reddy
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 months ago |
| 3802 |
Delsarte duality on subspaces and applications to rank-metric codes and q-matroids
Martino Borello, Olga Polverino, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |
| 3803 |
Monoid Structures on Indexed Containers
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3804 |
The Computational Complexity of Almost Stable Clustering with Penalties
Kamyar Khodamoradi, Farnam Mansouri, Sandra Zilles
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3805 |
Optimized Degree Realization: Minimum Dominating Set & Maximum Matching
Amotz Bar-Noy, Igor Kalinichev, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 months ago |
| 3806 |
An Empirical Study of Rational Tree Unification for miniKanren
Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3807 |
Maximum Biclique for Star 1,2,3 -free and Bounded Bimodularwidth Twin-free Bipartite Graphs $\star$
Fabien de Montgolfier, Renaud Torfs
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 months ago |
| 3808 |
Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Jonathan Leake, Shayan Oveis Gharan
|
🔮
The Ethereal
|
math.CO
|
0 |
9 months ago |
| 3809 |
Strong Dinatural Transformations and Generalised Codensity Monads
Maciej Piróg, Filip Sieczkowski
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3810 |
Extending Ghouila-Houri's Characterization of Comparability Graphs to Temporal Graphs
Pierre Charbit, Michel Habib, Amalia Sorondo
|
🔮
The Ethereal
|
math.CO
|
0 |
9 months ago |
| 3811 |
k-SUM Hardness Implies Treewidth-SETH
Michael Lampis
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3812 |
A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles II: Vertex and Edge Deletion Numbers
Jesse Beisegel, Katharina Klost, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 months ago |
| 3813 |
Multiparty equality in the local broadcast model
Louis Esperet, Jean-Florent Raymond
|
🔮
The Ethereal
|
math.CO
|
0 |
9 months ago |
| 3814 |
IECZ-III: Hardcore Condensation Lift with Size-Aware Invariants
Marko Lela
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3815 |
The Algorithmic Regulator
Giulio Ruffini
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3816 |
Nine lower bound conjectures on streaming approximation algorithms for CSPs
Noah G. Singer
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3817 |
Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Kaustuv Chaudhuri, Daniele Nantes-Sobrinho
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3818 |
Tight Quantum Time-Space Tradeoffs for Permutation Inversion
Akshima, Tyler Besselman, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3819 |
Ground Stratification for a Logic of Definitions with Induction
Nathan Guermond, Gopalan Nadathur
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3820 |
VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
Paul D. Hovland
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3821 |
Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
Junchao Zhang
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3822 |
Decoding Balanced Linear Codes With Preprocessing
Andrej Bogdanov, Rohit Chatterjee, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3823 |
An efficient algorithm for $\mathcal{F}$-subgraph-free Edge Deletion on graphs having a product structure
Shinwoo An, Seonghyuk Im, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 months ago |
| 3824 |
PLS-complete problems with lexicographic cost functions: Max-$k$-SAT and Abelian Permutation Orbit Minimization
Dominik Scheder, Johannes Tantow
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3825 |
Unifying the Landscape of Super-Logarithmic Dynamic Cell-Probe Lower Bounds
Young Kun Ko
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3826 |
A Lazy, Concurrent Convertibility Checker
Nathanaëlle Courant, Xavier Leroy
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3827 |
Undirected Multicast Network Coding Gaps via Locally Decodable Codes
Mark Braverman, Zhongtian He
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3828 |
Efficiently Batching Unambiguous Interactive Proofs
Bonnie Berger, Rohan Goyal, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3829 |
The maximal hard-core model as a recoverable system: Gibbs measures and phase coexistence
Geyang Wang, Alexander Barg, Navin Kashyap
|
🔮
The Ethereal
|
math.CO
|
0 |
9 months ago |
| 3830 |
A Freeable Matrix Characterization of Bipartite Graphs of Ferrers Dimension Three
Parinya Chalermsook, Ly Orgo, Minoo Zarsav
|
🔮
The Ethereal
|
math.CO
|
0 |
9 months ago |
| 3831 |
Relative-error unateness testing
Xi Chen, Diptaksho Palit, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3832 |
Pinwheel Scheduling with Real Periods
Hiroshi Fujiwara, Kota Miyagi, Katsuhisa Ouchi
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 months ago |
| 3833 |
Fault-Tolerant Multiparty Session Types with Global Escape Loops
Lukas Bartl, Julian Linne, Kirstin Peters
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3834 |
Most Juntas Saturate the Hardcore Lemma
Vinayak M. Kumar
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 months ago |
| 3835 |
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
Emanuele De Angelis, Florian Frohn
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3836 |
The Strong Birthday Problem Revisited
Chijul B. Tripathy
|
🔮
The Ethereal
|
math.CO
|
0 |
8 months ago |
| 3837 |
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Gregoire Maire, Thomas Genet
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3838 |
Semantic Properties of Computations Defined by Elementary Inference Systems
Salvador Lucas
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3839 |
Theta as a Horn Solver
Levente Bajczi, Milán Mondok, Vince Molnár
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3840 |
Tensor decomposition beyond uniqueness, with an application to the minrank problem
Pascal Koiran, Rafael Oliveira
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 months ago |
| 3841 |
Internalizing Extensions in Lattices of Type Theories
Jonathan Chan
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 months ago |
| 3842 |
Constructive Characterization and Recognition Algorithm for Grafts with a Connected Minimum Join
Nanano Kita
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 months ago |
| 3843 |
Unbounded-width CSPs are Untestable in a Sublinear Number of Queries
Yumou Fei
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 months ago |
| 3844 |
Proceedings Twelfth Workshop on Fixed Points in Computer Science
Alexis Saurin
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3845 |
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Elizabeth Dietrich, Hanna Krasowski, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3846 |
Access Hoare Logic
Arnold Beckmann, Anton Setzer
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3847 |
Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
Rémy Cerda
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 months ago |
| 3848 |
Efficient Testing Implies Structured Symmetry
Cynthia Dwork, Pranay Tankala
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 months ago |
| 3849 |
Explorability in Pushdown Automata
Ayaan Bedi, Karoliina Lehtinen
|
🔮
The Ethereal
|
cs.FL
|
0 |
8 months ago |
| 3850 |
Deterministic list decoding of Reed-Solomon codes
Soham Chatterjee, Prahladh Harsha, Mrinal Kumar
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 months ago |