| 2351 |
Infinite Eulerian paths are computable on graphs with vertices of infinite degree
Nicanor Carrasco-Vargas
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2352 |
Small codes
Igor Balla
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2353 |
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
Lucie Guillou, Corto Mascle, Nicolas Waldburger
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2354 |
On the $k$-Hamming and $k$-Edit Distances
Chiara Epifanio, Luca Forlizzi, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
3 years ago |
| 2355 |
Counting occurrences of patterns in permutations
Andrew R Conway, Anthony J Guttmann
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2356 |
Learning Broadcast Protocols
Dana Fisman, Noa Izsak, Swen Jacobs
|
🔮
The Ethereal
|
cs.FL
|
2 |
3 years ago |
| 2357 |
An FPT Algorithm for Splitting a Necklace Among Two Thieves
Michaela Borzechowski, Patrick Schnider, Simon Weber
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2358 |
Sparse Graphs of Twin-width 2 Have Bounded Tree-width
Benjamin Bergougnoux, Jakub Gajarský, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2359 |
Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond
Jan Dreier, Daniel Mock, Peter Rossmanith
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2360 |
Maximum edge colouring problem on graphs that exclude a fixed minor
Zdeněk Dvořák, Abhiruk Lahiri
|
🔮
The Ethereal
|
cs.DM
|
2 |
3 years ago |
| 2361 |
Towards a Formal Verification of the Lightning Network with TLA+
Matthias Grundmann, Hannes Hartenstein
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2362 |
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2363 |
Comparing the Update Expressivity of Communication Patterns and Action Models
Armando Castañeda, Hans van Ditmarsch, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2364 |
Computing Subset Vertex Covers in $H$-Free Graphs
Nick Brettell, Jelle J. Oostveen, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2365 |
Smoothed Analysis of the Komlós Conjecture: Rademacher Noise
Elad Aigner-Horev, Dan Hefetz, Michael Trushkin
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2366 |
Graph Search Trees and Their Leaves
Robert Scheffler
|
🔮
The Ethereal
|
cs.DM
|
2 |
3 years ago |
| 2367 |
Phase Transitions of Structured Codes of Graphs
Bo Bai, Yu Gao, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
3 years ago |
| 2368 |
Explaining Emergence
Hervé Zwirn
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2369 |
Testing Junta Truncation
William He, Shivam Nadimpalli
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2370 |
Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem
Endre Boros, Vladimir Gurvich, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2371 |
On 3-Coloring Circle Graphs
Patricia Bachmann, Ignaz Rutter, Peter Stumpf
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2372 |
Formal Verification of Chase-Lev Deque in Concurrent Separation Logic
Jaemin Choi
|
🔮
The Ethereal
|
cs.LO
|
2 |
3 years ago |
| 2373 |
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
Chenhao Shi, Hao Chen, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 2374 |
A Diamond Machine For Strong Evaluation
Beniamino Accattoli, Pablo Barenbaum
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2375 |
A Truly Concurrent Semantics for Reversible CCS
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2376 |
Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time
V. Arvind, Abhranil Chatterjee, Partha Mukhopadhyay
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2377 |
Bandwidth of Timed Automata: 3 Classes
Eugene Asarin, Aldric Degorre, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 2378 |
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
Amar Shah, Federico Mora, Sanjit A. Seshia
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2379 |
Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Hiroshi Hirai, Yuni Iwamasa, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2380 |
Simple and tight complexity lower bounds for solving Rabin games
Antonio Casares, Marcin Pilipczuk, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 2381 |
Verification of GossipSub in ACL2s
Ankit Kumar, Max von Hippel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2382 |
Comparing Differentiable Logics for Learning Systems: A Research Preview
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2383 |
Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata
Tomoyuki Yamakami
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 2384 |
Parallel Verification of Natural Deduction Proof Graphs
James T. Oswald, Brandon Rozek
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2385 |
Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
Jacob Focke, Leslie Ann Goldberg, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2386 |
First-Order Model Checking on Monadically Stable Graph Classes
Jan Dreier, Ioannis Eleftheriadis, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2387 |
When Input Integers are Given in the Unary Numeral Representation
Tomoyuki Yamakami
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2388 |
Memory Simulations, Security and Optimization in a Verified Compiler
David Monniaux
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2389 |
Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond
Lena Verscht, Benjamin Kaminski
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2390 |
Auditable Algorithms for Approximate Model Counting
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2391 |
Deciding Foot-sortability and Minimal 2-bounded Non-foot-sortable Sock Orderings
Hung-Hsun Hans Yu
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2392 |
Complexity of Local Search for Euclidean Clustering Problems
Bodo Manthey, Nils Morawietz, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2393 |
Non-Numerical Weakly Relational Domains
Helmut Seidl, Julian Erhard, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2394 |
An Optimal Randomized Algorithm for Finding the Saddlepoint
Justin Dallant, Frederik Haagensen, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2395 |
Rabin Games and Colourful Universal Trees
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2396 |
On the formalization of the notion of an algorithm
C. A. Middelburg
|
🔮
The Ethereal
|
cs.CC
|
2 |
2 years ago |
| 2397 |
An Introduction to Different Approaches to Initial Semantics
Thomas Lamiaux, Benedikt Ahrens
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 2398 |
Generation of weighted trees, block trees and block graphs
Tınaz Ekim, Mordechai Shalom, Mehmet Aziz Yirik
|
🔮
The Ethereal
|
cs.DM
|
2 |
2 years ago |
| 2399 |
Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions
Yunwen Chi, Kangquan Li, Longjiang Qu
|
🔮
The Ethereal
|
math.CO
|
2 |
2 years ago |
| 2400 |
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
Victoria Vollmer, Danielle Marshall, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |