| 1101 |
Rotational analysis of ChaCha permutation
Stefano Barbero, Emanuele Bellini, Rusydi Makarim
|
🔮
The Ethereal
|
math.CO
|
9 |
5 years ago |
| 1102 |
On the Mysteries of MAX NAE-SAT
Joshua Brakensiek, Neng Huang, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
5 years ago |
| 1103 |
The star-structure connectivity and star-substructure connectivity of hypercubes and folded hypercubes
Lina Ba, Heping Zhang
|
🔮
The Ethereal
|
math.CO
|
9 |
5 years ago |
| 1104 |
Parametric non-interference in timed automata
Étienne André, Aleksander Kryukov
|
🔮
The Ethereal
|
cs.FL
|
9 |
5 years ago |
| 1105 |
Hardness of Approximation of Euclidean $k$-Median
Anup Bhattacharya, Dishant Goyal, Ragesh Jaiswal
|
🔮
The Ethereal
|
cs.CC
|
9 |
5 years ago |
| 1106 |
Mastermind with a Linear Number of Queries
Anders Martinsson, Pascal Su
|
🔮
The Ethereal
|
math.CO
|
9 |
5 years ago |
| 1107 |
Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
|
🔮
The Ethereal
|
cs.LO
|
9 |
5 years ago |
| 1108 |
Improved Bounds for $(b,k)$-hashing
Stefano Della Fiore, Simone Costa, Marco Dalai
|
🔮
The Ethereal
|
math.CO
|
9 |
5 years ago |
| 1109 |
Logarithmic equal-letter runs for BWT of purely morphic words
Andrea Frosini, Ilaria Mancini, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
9 |
4 years ago |
| 1110 |
On complex roots of the independence polynomial
Ferenc Bencs, Péter Csikvári, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
4 years ago |
| 1111 |
Subsequences in Bounded Ranges: Matching and Analysis Problems
Maria Kosche, Tore Koß, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
9 |
4 years ago |
| 1112 |
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
Moshe Y. Vardi, Zhiwei Zhang
|
🔮
The Ethereal
|
cs.CC
|
9 |
3 years ago |
| 1113 |
Improved Inapproximability of VC Dimension and Littlestone's Dimension via (Unbalanced) Biclique
Pasin Manurangsi
|
🔮
The Ethereal
|
cs.CC
|
9 |
3 years ago |
| 1114 |
Observations on the Lovász $θ$-Function, Graph Capacity, Eigenvalues, and Strong Products
Igal Sason
|
🔮
The Ethereal
|
math.CO
|
9 |
3 years ago |
| 1115 |
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
Yijia Chen, Yi Feng, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
3 years ago |
| 1116 |
Properly Learning Decision Trees with Queries Is NP-Hard
Caleb Koch, Carmen Strassle, Li-Yang Tan
|
🔮
The Ethereal
|
cs.CC
|
9 |
3 years ago |
| 1117 |
Randomized Communication and Implicit Representations for Matrices and Graphs of Small Sign-Rank
Nathaniel Harms, Viktor Zamaraev
|
🔮
The Ethereal
|
cs.CC
|
9 |
3 years ago |
| 1118 |
Kruskal--Katona-Type Problems via the Entropy Method
Ting-Wei Chao, Hung-Hsun Hans Yu
|
🔮
The Ethereal
|
math.CO
|
9 |
2 years ago |
| 1119 |
On Model-Checking Higher-Order Effectful Programs (Long Version)
Ugo Dal Lago, Alexis Ghyselen
|
🔮
The Ethereal
|
cs.LO
|
9 |
2 years ago |
| 1120 |
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Gustavo A. Cardona, Kevin Leahy, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
9 |
2 years ago |
| 1121 |
Sampling Balanced Forests of Grids in Polynomial Time
Sarah Cannon, Wesley Pegden, Jamie Tucker-Foltz
|
🔮
The Ethereal
|
cs.DM
|
9 |
2 years ago |
| 1122 |
Formal Verification of Zero-Knowledge Circuits
Alessandro Coglio, Eric McCarthy, Eric W. Smith
|
🔮
The Ethereal
|
cs.LO
|
9 |
2 years ago |
| 1123 |
Counting Small Induced Subgraphs with Edge-monotone Properties
Simon Döring, Dániel Marx, Philip Wellnitz
|
🔮
The Ethereal
|
cs.CC
|
9 |
2 years ago |
| 1124 |
Exact Algorithms and Lowerbounds for Multiagent Pathfinding: Power of Treelike Topology
Foivos Fioravantes, Dušan Knop, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
2 years ago |
| 1125 |
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Remi Desmartin, Omri Isac, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
9 |
2 years ago |
| 1126 |
Integer programs with nearly totally unimodular matrices: the cographic case
Manuel Aprile, Samuel Fiorini, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
9 |
2 years ago |
| 1127 |
Decomposition Polyhedra of Piecewise Linear Functions
Marie-Charlotte Brandenburg, Moritz Grillo, Christoph Hertrich
|
🔮
The Ethereal
|
math.CO
|
9 |
1 year ago |
| 1128 |
Asymptotic Delsarte cliques in distance-regular graphs
László Babai, John Wilmes
|
🔮
The Ethereal
|
math.CO
|
8 |
11 years ago |
| 1129 |
Non-normal modalities in variants of Linear Logic
Daniele Porello, Nicolas Troquard
|
🔮
The Ethereal
|
cs.LO
|
8 |
11 years ago |
| 1130 |
Tree compression using string grammars
Moses Ganardi, Danny Hucke, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
8 |
11 years ago |
| 1131 |
Polynomial Factorization over Finite Fields By Computing Euler-Poincare Characteristics of Drinfeld Modules
Anand Kumar Narayanan
|
🔮
The Ethereal
|
cs.CC
|
8 |
11 years ago |
| 1132 |
A Formal C Memory Model for Separation Logic
Robbert Krebbers
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1133 |
Reversing Single Sessions
Francesco Tiezzi, Nobuko Yoshida
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1134 |
Complexity and Approximability of Parameterized MAX-CSPs
Holger Dell, Eun Jung Kim, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
8 |
10 years ago |
| 1135 |
Near-Optimal UGC-hardness of Approximating Max k-CSP_R
Pasin Manurangsi, Preetum Nakkiran, Luca Trevisan
|
🔮
The Ethereal
|
cs.CC
|
8 |
10 years ago |
| 1136 |
On the hardness of learning sparse parities
Arnab Bhattacharyya, Ameet Gadekar, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
8 |
10 years ago |
| 1137 |
Linear Models of Computation and Program Learning
Michael Bukatin, Steve Matthews
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1138 |
A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction
Jonathan H. Warrell
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1139 |
Enablers and Inhibitors in Causal Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1140 |
A short proof that $O_2$ is an MCFL
Mark-Jan Nederhof
|
🔮
The Ethereal
|
cs.FL
|
8 |
10 years ago |
| 1141 |
On the number of equivalence classes of invertible Boolean functions under action of permutation of variables on domain and range
Marko Carić, Miodrag Živković
|
🔮
The Ethereal
|
math.CO
|
8 |
10 years ago |
| 1142 |
The second Feng-Rao number for codes coming from telescopic semigroups
José I. Farrán, P. A. García-Sánchez, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
10 years ago |
| 1143 |
HordeQBF: A Modular and Massively Parallel QBF Solver
Tomas Balyo, Florian Lonsing
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1144 |
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
Clément Carbonnel
|
🔮
The Ethereal
|
cs.CC
|
8 |
10 years ago |
| 1145 |
Extracting Higher-Order Goals from the Mizar Mathematical Library
Chad Brown, Josef Urban
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1146 |
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
Alvaro Miyazawa, Ana Cavalcanti
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1147 |
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Iris van de Pol, Iris van Rooij, Jakub Szymanik
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1148 |
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Lars Luthmann, Stephan Mennicke, Malte Lochau
|
🔮
The Ethereal
|
cs.LO
|
8 |
10 years ago |
| 1149 |
The chromatic number of the square of the 8-cube
Janne I. Kokkala, Patric R. J. Östergård
|
🔮
The Ethereal
|
math.CO
|
8 |
10 years ago |
| 1150 |
Layerwise computability and image randomness
Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
|
🔮
The Ethereal
|
math.LO
|
8 |
10 years ago |