| 951 |
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Margarida Ferreira, Miguel Terra-Neves, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
11 |
5 years ago |
| 952 |
Automating Reasoning with Standpoint Logic via Nested Sequents
Tim S. Lyon, Lucía Gómez Álvarez
|
🔮
The Ethereal
|
cs.LO
|
11 |
4 years ago |
| 953 |
String Attractors and Infinite Words
Antonio Restivo, Giuseppe Romana, Marinella Sciortino
|
🔮
The Ethereal
|
cs.FL
|
11 |
4 years ago |
| 954 |
Outer Strong Blocking Sets
Gianira N. Alfarano, Martino Borello, Alessandro Neri
|
🔮
The Ethereal
|
math.CO
|
11 |
3 years ago |
| 955 |
Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius
Felicia Lucke, Daniël Paulusma, Bernard Ries
|
🔮
The Ethereal
|
math.CO
|
11 |
3 years ago |
| 956 |
Sidon sets, sum-free sets and linear codes
Ingo Czerwinski, Alexander Pott
|
🔮
The Ethereal
|
math.CO
|
11 |
3 years ago |
| 957 |
Increasing subsequences, matrix loci, and Viennot shadows
Brendon Rhoades
|
🔮
The Ethereal
|
math.CO
|
11 |
3 years ago |
| 958 |
Towards a Certified Proof Checker for Deep Neural Network Verification
Remi Desmartin, Omri Isac, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
3 years ago |
| 959 |
Internal parametricity, without an interval
Thorsten Altenkirch, Yorgo Chamoun, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
3 years ago |
| 960 |
Non-Clashing Teaching Maps for Balls in Graphs
Jérémie Chalopin, Victor Chepoi, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
11 |
2 years ago |
| 961 |
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, ... (+7 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
1 year ago |
| 962 |
Modern Hopfield Networks Require Chain-of-Thought to Solve $\mathsf{NC}^1$-Hard Problems
Yang Cao, Xiaoyu Li, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
11 |
1 year ago |
| 963 |
On metric properties of maps between Hamming spaces and related graph homomorphisms
Yury Polyanskiy
|
🔮
The Ethereal
|
math.CO
|
10 |
11 years ago |
| 964 |
Remarks on pointed digital homotopy
Laurence Boxer, P. Christopher Staecker
|
🔮
The Ethereal
|
math.CO
|
10 |
11 years ago |
| 965 |
Random intersection graphs and their applications in security, wireless communication, and social networks
Jun Zhao, Osman Yağan, Virgil Gligor
|
🔮
The Ethereal
|
cs.DM
|
10 |
11 years ago |
| 966 |
Further Results on the Classification of MDS Codes
Janne I. Kokkala, Patric R. J. Östergård
|
🔮
The Ethereal
|
math.CO
|
10 |
11 years ago |
| 967 |
Communication Complexity of Permutation-Invariant Functions
Badih Ghazi, Pritish Kamath, Madhu Sudan
|
🔮
The Ethereal
|
cs.CC
|
10 |
11 years ago |
| 968 |
On the Computational Complexity of Limit Cycles in Dynamical Systems
Christos H. Papadimitriou, Nisheeth K. Vishnoi
|
🔮
The Ethereal
|
cs.CC
|
10 |
10 years ago |
| 969 |
TP1-valid Transformation Functions for Operations on ordered n-ary Trees
Tim Jungnickel, Tobias Herb
|
🔮
The Ethereal
|
cs.LO
|
10 |
10 years ago |
| 970 |
The Expurgation-Augmentation Method for Constructing Good Plane Subspace Codes
Jingmei Ai, Thomas Honold, Haiteng Liu
|
🔮
The Ethereal
|
math.CO
|
10 |
10 years ago |
| 971 |
Average Shortest Path Length of Graphs of Diameter 3
Nobutaka Shimizu, Ryuhei Mori
|
🔮
The Ethereal
|
cs.DM
|
10 |
10 years ago |
| 972 |
Half-integral linkages in highly connected directed graphs
Katherine Edwards, Irene Muzi, Paul Wollan
|
🔮
The Ethereal
|
math.CO
|
10 |
9 years ago |
| 973 |
Detecting communities is hard, and counting them is even harder
Aviad Rubinstein
|
🔮
The Ethereal
|
cs.CC
|
10 |
9 years ago |
| 974 |
Number Balancing is as hard as Minkowski's Theorem and Shortest Vector
Rebecca Hoberg, Harishchandra Ramadas, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
10 |
9 years ago |
| 975 |
Dynamic Complexity under Definable Changes
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
|
🔮
The Ethereal
|
cs.LO
|
10 |
9 years ago |
| 976 |
Parameterized Shifted Combinatorial Optimization
Jakub Gajarský, Petr Hliněný, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
9 years ago |
| 977 |
Featured Weighted Automata
Uli Fahrenberg, Axel Legay
|
🔮
The Ethereal
|
cs.FL
|
10 |
9 years ago |
| 978 |
Towards a Topology-Shape-Metrics Framework for Ortho-Radial Drawings
Lukas Barth, Benjamin Niedermann, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
10 |
9 years ago |
| 979 |
Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol
Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta
|
🔮
The Ethereal
|
cs.LO
|
10 |
9 years ago |
| 980 |
Cayley graphs and symmetric interconnection networks
Ashwin Ganesan
|
🔮
The Ethereal
|
math.CO
|
10 |
9 years ago |
| 981 |
Generalized Ideals and Co-Granular Rough Sets
A Mani
|
🔮
The Ethereal
|
math.LO
|
10 |
9 years ago |
| 982 |
An Alon-Boppana Type Bound for Weighted Graphs and Lowerbounds for Spectral Sparsification
Nikhil Srivastava, Luca Trevisan
|
🔮
The Ethereal
|
cs.DM
|
10 |
9 years ago |
| 983 |
The Tu--Deng Conjecture holds almost surely
Lukas Spiegelhofer, Michael Wallner
|
🔮
The Ethereal
|
math.CO
|
10 |
8 years ago |
| 984 |
Common Knowledge in a Logic of Gossips
Krzysztof R. Apt, Dominik Wojtczak
|
🔮
The Ethereal
|
cs.LO
|
10 |
8 years ago |
| 985 |
On the Complexity of Robust Stable Marriage
Begum Genc, Mohamed Siala, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
8 years ago |
| 986 |
A recognition algorithm for simple-triangle graphs
Asahi Takaoka
|
🔮
The Ethereal
|
cs.DM
|
10 |
8 years ago |
| 987 |
(Biased) Majority Rule Cellular Automata
Bernd Gärtner, Ahad N. Zehmakan
|
🔮
The Ethereal
|
cs.FL
|
10 |
8 years ago |
| 988 |
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
Aleksandar S. Dimovski
|
🔮
The Ethereal
|
cs.LO
|
10 |
8 years ago |
| 989 |
Fine-Grained Complexity of Safety Verification
Peter Chini, Roland Meyer, Prakash Saivasan
|
🔮
The Ethereal
|
cs.LO
|
10 |
8 years ago |
| 990 |
Pure gaps on curves with many rational places
Daniele Bartoli, Ariane M. Masuda, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
10 |
8 years ago |
| 991 |
On the Bias of Reed-Muller Codes over Odd Prime Fields
Paul Beame, Shayan Oveis Gharan, Xin Yang
|
🔮
The Ethereal
|
cs.DM
|
10 |
8 years ago |
| 992 |
A new distance-regular graph of diameter 3 on 1024 vertices
Minjia Shi, Denis Krotov, Patrick Solé
|
🔮
The Ethereal
|
math.CO
|
10 |
8 years ago |
| 993 |
The RedPRL Proof Assistant (Invited Paper)
Carlo Angiuli, Evan Cavallo, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
10 |
8 years ago |
| 994 |
An improved upper bound on the integrality ratio for the $s$-$t$-path TSP
Vera Traub, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
10 |
7 years ago |
| 995 |
The Minrank of Random Graphs over Arbitrary Fields
Noga Alon, Igor Balla, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
10 |
7 years ago |
| 996 |
Unlabeled Compression Schemes Exceeding the VC-dimension
Dömötör Pálvölgyi, Gábor Tardos
|
🔮
The Ethereal
|
math.CO
|
10 |
7 years ago |
| 997 |
A static higher-order dependency pair framework
Carsten Fuhs, Cynthia Kop
|
🔮
The Ethereal
|
cs.LO
|
10 |
7 years ago |
| 998 |
An algorithmic approach to the existence of ideal objects in commutative algebra
Thomas Powell, Peter M Schuster, Franziskus Wiesnet
|
🔮
The Ethereal
|
cs.LO
|
10 |
7 years ago |
| 999 |
Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs
Vincent Cohen-Addad, Éric Colin de Verdière, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
10 |
7 years ago |
| 1000 |
Approximation algorithms and an integer program for multi-level graph spanners
Reyan Ahmed, Keaton Hamm, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
10 |
7 years ago |