| 2801 |
Stabiliser codes over fields of even order
Simeon Ball, Edgar Moreno, Robin Simoens
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2802 |
HaliVer: Deductive Verification and Scheduling Languages Join Forces
Lars B. van den Haak, Anton Wijs, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2803 |
Towards Automatic Transformations of Coq Proof Scripts
Nicolas Magaud
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2804 |
On the Minimum Depth of Circuits with Linear Number of Wires Encoding Good Codes
Andrew Drucker, Yuan Li
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2805 |
Adjoint Natural Deduction (Extended Version)
Junyoung Jang, Sophia Roshal, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2806 |
Improved upper bounds for wide-sense frameproof codes
Yuhao Zhao, Xiande Zhang
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2807 |
$L$-systems and the Lovász number
William Linz
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2808 |
Non-projective two-weight codes
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2809 |
A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
François Fages
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2810 |
Fractional Linear Matroid Matching is in quasi-NC
Rohit Gurjar, Taihei Oki, Roshan Raj
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2811 |
Specifying and Verifying the Convergence Stairs of the Collatz Program
Ali Ebnenasir
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2812 |
Perfect Zero-Knowledge PCPs for #P
Tom Gur, Jack O'Connor, Nicholas Spooner
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2813 |
Resolving Sets in Temporal Graphs
Jan Bok, Antoine Dailly, Tuomo Lehtilä
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2814 |
Space-time deterministic graph rewriting
Pablo Arrighi, Marin Costes, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2815 |
An improved spectral lower bound of treewidth
Tatsuya Gima, Tesshu Hanaka, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2816 |
Prove Symbolic Regression is NP-hard by Symbol Graph
Jinglu Song, Qiang Lu, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2817 |
DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
Jason Z. S. Hu, Brigitte Pientka
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2818 |
Generalizing Roberts' characterization of unit interval graphs
Virginia Ardévol Martínez, Romeo Rizzi, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2819 |
Graph Search Trees and the Intermezzo Problem
Jesse Beisegel, Ekkehard Köhler, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2820 |
Alternative paths computation for congestion mitigation in segment-routing networks
Sébastien Martin, Youcef Magnouche, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2821 |
The Natural Display Topos of Coalgebras
Colin Zwanziger
|
🔮
The Ethereal
|
math.CT
|
1 |
2 years ago |
| 2822 |
A Note on an Inferentialist Approach to Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 2823 |
On Maximal Families of Binary Polynomials with Pairwise Linear Common Factors
Maximilien Gadouleau, Luca Mariot, Federico Mazzone
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2824 |
Counting overlapping pairs of words
Eric Rivals, Pengfei Wang
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2825 |
Conformality of Minimal Transversals of Maximal Cliques
Endre Boros, Vladimir Gurvich, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2826 |
On the number of solutions to a random instance of the permuted kernel problem
Carlo Sanna
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2827 |
A bijection for the evolution of $B$-trees
Fabian Burghart, Stephan Wagner
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2828 |
More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities
Lucas Gretta, William He, Angelos Pelecanos
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2829 |
On automorphism groups of polar codes
Jicheng Ma, Guiying Yan
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2830 |
Logical reduction of relations: from relational databases to Peirce's reduction thesis
Sergiy Koshkin
|
🔮
The Ethereal
|
math.LO
|
1 |
2 years ago |
| 2831 |
Resilient functions: Optimized, simplified, and generalized
Peter Ivanov, Emanuele Viola
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2832 |
Enumeration of minimal transversals of hypergraphs of bounded VC-dimension
Arnaud Mary
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2833 |
Reconfiguration of Independent Transversals
Pjotr Buys, Ross J. Kang, Kenta Ozeki
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2834 |
On Equivalence of Parameterized Inapproximability of k-Median, k-Max-Coverage, and 2-CSP
Karthik C. S., Euiwoong Lee, Pasin Manurangsi
|
🔮
The Ethereal
|
cs.CC
|
1 |
2 years ago |
| 2835 |
Obstructions to Erdős-Pósa Dualities for Minors
Christophe Paul, Evangelos Protopapas, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2836 |
Group actions on codes in graphs
Daniel R. Hawtin, Cheryl E. Praeger
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2837 |
Shift-invariant transformations and almost liftings
Jan Kristian Haugland, Tron Omland
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2838 |
Coprime networks of the composite numbers: pseudo-randomness and synchronizability
Md Rahil Miraj, Dibakar Ghosh, Chittaranjan Hens
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2839 |
Distance Reconstruction of Sparse Random Graphs
Paul Bastide
|
🔮
The Ethereal
|
math.CO
|
1 |
2 years ago |
| 2840 |
Detecting and explaining (in)equivalence of context-free grammars
Marko Schmellenkamp, Thomas Zeume, ... (+4 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
1 year ago |
| 2841 |
Higher weight spectra and Betti numbers of Reed-Muller codes $RM_q(2,2)$
Sudhir R. Ghorpade, Trygve Johnsen, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2842 |
Mixing on Generalized Associahedra
William Chang, Colin Defant, Daniel Frishberg
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2843 |
The complexity of strong conflict-free vertex-connection $k$-colorability
Sun-Yuan Hsieh, Hoang-Oanh Le, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2844 |
The Signatures of Ideal Flow Networks
Kardi Teknomo
|
🔮
The Ethereal
|
cs.DM
|
1 |
2 years ago |
| 2845 |
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2846 |
On the Expressivity of Typed Concurrent Calculi
Joseph William Neal Paulus
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2847 |
Characterization of Circular-arc Graphs: II. McConnell Flipping
Yixin Cao, Tomasz Krawczyk
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2848 |
Combinatorial alphabet-dependent bounds for insdel codes
Xiangliang Kong, Itzhak Tamo, Hengjia Wei
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2849 |
Binary codes from subset inclusion matrices
Alexey D. Marin, Ivan Yu. Mogilnykh
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2850 |
Finding the Center and Centroid of a Graph with Multiple Sources
Matthew Chou
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |