| 2301 |
Burning Geometric Graphs
Arya Tanmay Gupta
|
🔮
The Ethereal
|
cs.DM
|
2 |
5 years ago |
| 2302 |
Dynamic Query Evaluation Over Structures with Low Degree
Alexandre Vigny
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 2303 |
A Semantic Framework for PEGs
Sérgio Medeiros, Carlos Olarte
|
🔮
The Ethereal
|
cs.FL
|
2 |
5 years ago |
| 2304 |
Learning Languages with Decidable Hypotheses
Julian Berger, Maximilian Böther, ... (+10 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 2305 |
The Difference Lambda-Calculus: A Language for Difference Categories
Mario Alvarez-Picallo, C. -H. Luke Ong
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 2306 |
A new perspective of paramodulation complexity by solving massive 8 puzzles
Ruo Ando, Yoshiyasu Takefuji
|
🔮
The Ethereal
|
cs.CC
|
2 |
5 years ago |
| 2307 |
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes
David H. Wolpert, David Kinney
|
🔮
The Ethereal
|
math.LO
|
2 |
5 years ago |
| 2308 |
Efficient computation of the oriented chromatic number of recursively defined digraphs
Frank Gurski, Dominique Komander, Marvin Lindemann
|
🔮
The Ethereal
|
math.CO
|
2 |
5 years ago |
| 2309 |
Efficient Approximations for Many-Visits Multiple Traveling Salesman Problems
Kristóf Bérczi, Matthias Mnich, Roland Vincze
|
🔮
The Ethereal
|
cs.DM
|
2 |
4 years ago |
| 2310 |
Matching Orderable and Separable Hypergraphs
Shmuel Onn
|
🔮
The Ethereal
|
math.CO
|
2 |
4 years ago |
| 2311 |
Edge-coloured graphs with only monochromatic perfect matchings and their connection to quantum physics
L. Sunil Chandran, Rishikesh Gajjala
|
🔮
The Ethereal
|
cs.DM
|
2 |
4 years ago |
| 2312 |
Permutation rotation-symmetric S-boxes, liftings and affine equivalence
Tron Omland, Pantelimon Stanica
|
🔮
The Ethereal
|
math.CO
|
2 |
4 years ago |
| 2313 |
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Lina Marsso, Radu Mateescu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
4 years ago |
| 2314 |
The Power of Filling in Balanced Allocations
Dimitrios Los, Thomas Sauerwald, John Sylvester
|
🔮
The Ethereal
|
cs.DM
|
2 |
4 years ago |
| 2315 |
Partitioning into degenerate graphs in linear time
Timothée Corsini, Quentin Deschamps, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
4 years ago |
| 2316 |
On Algebraic Constructions of Neural Networks with Small Weights
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
|
🔮
The Ethereal
|
cs.CC
|
2 |
4 years ago |
| 2317 |
DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu H. N. Phan, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
2 |
4 years ago |
| 2318 |
An Enumeration Algorithm for Binary Coprime Polynomials with Nonzero Constant Term
Enrico Formenti, Luca Mariot
|
🔮
The Ethereal
|
math.CO
|
2 |
4 years ago |
| 2319 |
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
|
🔮
The Ethereal
|
cs.FL
|
2 |
4 years ago |
| 2320 |
On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)
Ugo Dal Lago, Giulia Giusti
|
🔮
The Ethereal
|
cs.LO
|
2 |
4 years ago |
| 2321 |
TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Filipe Marques, António Morgado, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
4 years ago |
| 2322 |
Categorification of Negative Information using Enrichment
Andrea Censi, Emilio Frazzoli, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
2 |
3 years ago |
| 2323 |
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2324 |
Recognizing Geometric Intersection Graphs Stabbed by a Line
Dibyayan Chakraborty, Kshitij Gajjar, Irena Rusu
|
🔮
The Ethereal
|
cs.DM
|
2 |
3 years ago |
| 2325 |
Routing permutations on spectral expanders via matchings
Rajko Nenadov
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2326 |
Convergence of the number of period sets in strings
Eric Rivals, Michelle Sweering, Pengfei Wang
|
🔮
The Ethereal
|
cs.DM
|
2 |
3 years ago |
| 2327 |
Computing the Best Case Energy Complexity of Satisfying Assignments in Monotone Circuits
Janio Carlos Nascimento Silva, Uéverton S. Souza
|
🔮
The Ethereal
|
cs.CC
|
2 |
3 years ago |
| 2328 |
On the distance-edge-monitoring numbers of graphs
Chengxu Yang, Ralf Klasing, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2329 |
Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks
Janosch Döcker, Simone Linz, Charles Semple
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2330 |
The RED-BLUE SEPARATION problem on graphs
Subhadeep Ranjan Dev, Sanjana Dey, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
3 years ago |
| 2331 |
Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
|
🔮
The Ethereal
|
cs.FL
|
2 |
3 years ago |
| 2332 |
Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles
Matthew Anderson, Zongliang Ji, Anthony Yang Xu
|
🔮
The Ethereal
|
cs.CC
|
2 |
3 years ago |
| 2333 |
Quantitative Verification with Neural Networks
Alessandro Abate, Alec Edwards, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2334 |
A New Construction of the Vietoris-Rips Complex
Antonio Rieser
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2335 |
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings
V. Ironmonger, N. Ruskuc
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2336 |
A Log-Sensitive Encoding of Turing Machines in the $λ$-Calculus
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2337 |
Algorithms for computing the permutation resemblance of functions over finite groups
Li-An Chen, Robert S. Coulter
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2338 |
Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes
Balder ten Cate, Víctor Dalmau, Jakub Opršal
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2339 |
Generative Models of Huge Objects
Lunjia Hu, Inbal Livni-Navon, Omer Reingold
|
🔮
The Ethereal
|
cs.CC
|
2 |
3 years ago |
| 2340 |
Dynamic Logic of Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2341 |
A combinatorial proof for the secretary problem with multiple choices
Xujun Liu, Olgica Milenkovic, George V. Moustakides
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2342 |
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
Klaus Miesenberger, Walther Neuper, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2343 |
Reproduction Report for SV-COMP 2023
Marcus Gerhold, Arnd Hartmanns
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2344 |
Enumerating all minimal hitting sets in polynomial total time
Marcel Wild
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2345 |
Quadratic rotation symmetric Boolean functions
Alexandru Chirvasitu, Thomas W. Cusick
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2346 |
Data-Parallel Algorithms for String Diagrams
Paul Wilson, Fabio Zanasi
|
🔮
The Ethereal
|
math.CT
|
2 |
3 years ago |
| 2347 |
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Samuel Judson, Matthew Elacqua, ... (+5 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2348 |
Recursive properties of the characteristic polynomial of weighted lattices
Gianira N. Alfarano, Eimear Byrne
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2349 |
Stretch-width
Édouard Bonnet, Julien Duron
|
🔮
The Ethereal
|
cs.DM
|
2 |
3 years ago |
| 2350 |
Simply typed convertibility is TOWER-complete even for safe lambda-terms
Lê Thành Dũng Nguyên
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |