| 1151 |
Graphic TSP in cubic graphs
Zdenek Dvorak, Daniel Kral, Bojan Mohar
|
🔮
The Ethereal
|
cs.DM
|
8 |
9 years ago |
| 1152 |
Nuclei and automorphism groups of generalized twisted Gabidulin codes
Rocco Trombetti, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
8 |
9 years ago |
| 1153 |
The connectivity of graphs of graphs with self-loops and a given degree sequence
Joel Nishimura
|
🔮
The Ethereal
|
math.CO
|
8 |
9 years ago |
| 1154 |
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Muhammad Usama Sardar, Osman Hasan
|
🔮
The Ethereal
|
cs.LO
|
8 |
9 years ago |
| 1155 |
Treewidth distance on phylogenetic trees
Steven Kelk, Georgios Stamoulis, Taoyang Wu
|
🔮
The Ethereal
|
cs.DM
|
8 |
9 years ago |
| 1156 |
An adaptive prefix-assignment technique for symmetry reduction
Tommi Junttila, Matti Karppa, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
9 years ago |
| 1157 |
A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over $\mathbb{Z}/p\mathbb{Z}$
Jeremy F. Alm, Andrew Ylvisaker
|
🔮
The Ethereal
|
math.CO
|
8 |
8 years ago |
| 1158 |
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
|
🔮
The Ethereal
|
cs.LO
|
8 |
8 years ago |
| 1159 |
Modular Labelled Sequent Calculi for Abstract Separation Logics
Zhé Hóu, Ranald Clouston, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
8 |
8 years ago |
| 1160 |
Rapid mixing of Glauber dynamics for colorings below Vigoda's $11/6$ threshold
Michelle Delcourt, Guillem Perarnau, Luke Postle
|
🔮
The Ethereal
|
cs.DM
|
8 |
8 years ago |
| 1161 |
Uniform Substitution for Differential Game Logic
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
8 |
8 years ago |
| 1162 |
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
David Carral, Cristina Feier, Pascal Hitzler
|
🔮
The Ethereal
|
cs.LO
|
8 |
8 years ago |
| 1163 |
The Computational Complexity of Finding Hamiltonian Cycles in Grid Graphs of Semiregular Tessellations
Kaiying Hou, Jayson Lynch
|
🔮
The Ethereal
|
cs.CC
|
8 |
8 years ago |
| 1164 |
A Note on Degree vs Gap of Min-Rep Label Cover and Improved Inapproximability for Connectivity Problems
Pasin Manurangsi
|
🔮
The Ethereal
|
cs.CC
|
8 |
8 years ago |
| 1165 |
On the Computational Complexity of Length- and Neighborhood-Constrained Path Problems
Max-Jonathan Luckow, Till Fluschnik
|
🔮
The Ethereal
|
cs.CC
|
8 |
7 years ago |
| 1166 |
No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2
Ka Hin Leung, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
8 |
7 years ago |
| 1167 |
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Lucas Cordeiro, Daniel Kroening, Peter Schrammel
|
🔮
The Ethereal
|
cs.LO
|
8 |
7 years ago |
| 1168 |
Classical Algorithms from Quantum and Arthur-Merlin Communication Protocols
Lijie Chen, Ruosong Wang
|
🔮
The Ethereal
|
cs.CC
|
8 |
7 years ago |
| 1169 |
Tight Approximation Ratio for Minimum Maximal Matching
Szymon Dudycz, Mateusz Lewandowski, Jan Marcinkowski
|
🔮
The Ethereal
|
cs.CC
|
8 |
7 years ago |
| 1170 |
Solvability = Typability + Inhabitation
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
|
🔮
The Ethereal
|
cs.LO
|
8 |
7 years ago |
| 1171 |
Uniform Substitution At One Fell Swoop
André Platzer
|
🔮
The Ethereal
|
cs.LO
|
8 |
7 years ago |
| 1172 |
Rearrangement operations on unrooted phylogenetic networks
Remie Janssen, Jonathan Klawitter
|
🔮
The Ethereal
|
math.CO
|
8 |
7 years ago |
| 1173 |
Dynamic Term-Modal Logics for First-Order Epistemic Planning
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
|
🔮
The Ethereal
|
cs.LO
|
8 |
7 years ago |
| 1174 |
Running Time Analysis of the (1+1)-EA for Robust Linear Optimization
Chao Bian, Chao Qian, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
8 |
7 years ago |
| 1175 |
Learning with Partially Ordered Representations
Jane Chandlee, Remi Eyraud, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
8 |
7 years ago |
| 1176 |
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics
Curtis Bright, Ilias Kotsireas, Vijay Ganesh
|
🔮
The Ethereal
|
cs.LO
|
8 |
7 years ago |
| 1177 |
Translating between the representations of a ranked convex geometry
Oscar Defrain, Lhouari Nourine, Simon Vilmin
|
🔮
The Ethereal
|
cs.DM
|
8 |
7 years ago |
| 1178 |
Polyvariant Program Specialisation with Property-based Abstraction
John P. Gallagher
|
🔮
The Ethereal
|
cs.LO
|
8 |
6 years ago |
| 1179 |
Steepest ascent can be exponential in bounded treewidth problems
David A. Cohen, Martin C. Cooper, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
8 |
6 years ago |
| 1180 |
Tight Localizations of Feedback Sets
Michael Hecht, Krzysztof Gonciarz, Szabolcs Horvát
|
🔮
The Ethereal
|
cs.DM
|
8 |
6 years ago |
| 1181 |
Operationally-based Program Equivalence Proofs using LCTRSs
Ştefan Ciobâcă, Dorel Lucanu, Andrei Sebastian Buruiană
|
🔮
The Ethereal
|
cs.LO
|
8 |
6 years ago |
| 1182 |
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete
Uli Schlachter, Harro Wimmel
|
🔮
The Ethereal
|
cs.CC
|
8 |
6 years ago |
| 1183 |
Intersection distribution, non-hitting index and Kakeya sets in affine planes
Shuxing Li, Alexander Pott
|
🔮
The Ethereal
|
math.CO
|
8 |
6 years ago |
| 1184 |
Flexible placements of graphs with rotational symmetry
Sean Dewar, Georg Grasegger, Jan Legerský
|
🔮
The Ethereal
|
math.CO
|
8 |
6 years ago |
| 1185 |
On certain linearized polynomials with high degree and kernel of small dimension
Olga Polverino, Giovanni Zini, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
8 |
6 years ago |
| 1186 |
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
🔮
The Ethereal
|
cs.LO
|
8 |
6 years ago |
| 1187 |
Helly-gap of a graph and vertex eccentricities
Feodor F. Dragan, Heather M. Guarnera
|
🔮
The Ethereal
|
cs.DM
|
8 |
6 years ago |
| 1188 |
Local Algebraic Effect Theories
Žiga Lukšič, Matija Pretnar
|
🔮
The Ethereal
|
cs.LO
|
8 |
6 years ago |
| 1189 |
Book Embeddings of Graph Products
Sergey Pupyrev
|
🔮
The Ethereal
|
cs.DM
|
8 |
5 years ago |
| 1190 |
Fine-Grained Complexity of Regular Expression Pattern Matching and Membership
Philipp Schepper
|
🔮
The Ethereal
|
cs.CC
|
8 |
5 years ago |
| 1191 |
Computing the covering radius of a polytope with an application to lonely runners
Jana Cslovjecsek, Romanos Diogenes Malikiosis, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
5 years ago |
| 1192 |
On the Hardness of Average-case k-SUM
Zvika Brakerski, Noah Stephens-Davidowitz, Vinod Vaikuntanathan
|
🔮
The Ethereal
|
cs.CC
|
8 |
5 years ago |
| 1193 |
Completely regular codes in Johnson and Grassmann graphs with small covering radii
I. Yu. Mogilnykh
|
🔮
The Ethereal
|
math.CO
|
8 |
5 years ago |
| 1194 |
Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation
Daniel Schuster, Gero J. Kolhof
|
🔮
The Ethereal
|
cs.LO
|
8 |
5 years ago |
| 1195 |
Locally checkable problems parameterized by clique-width
Narmina Baghirova, Carolina Lucía Gonzalez, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
8 |
4 years ago |
| 1196 |
Moser-Tardos Algorithm with small number of random bits
Endre Csóka, Łukasz Grabowski, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
8 |
4 years ago |
| 1197 |
On the $d$-Claw Vertex Deletion Problem
Sun-Yuan Hsieh, Hoang-Oanh Le, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
8 |
4 years ago |
| 1198 |
A Formal Analysis of the Count-Min Sketch with Conservative Updates
Younes Ben Mazziane, Sara Alouf, Giovanni Neglia
|
🔮
The Ethereal
|
cs.DM
|
8 |
4 years ago |
| 1199 |
Schwartz-Zippel for multilinear polynomials mod N
Benedikt Bünz, Ben Fisch
|
🔮
The Ethereal
|
cs.DM
|
8 |
4 years ago |
| 1200 |
List Colouring Trees in Logarithmic Space
Hans L. Bodlaender, Carla Groenland, Hugo Jacob
|
🔮
The Ethereal
|
cs.DM
|
8 |
4 years ago |