| 551 |
Strong blocking sets and minimal codes from expander graphs
Noga Alon, Anurag Bishnoi, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
19 |
2 years ago |
| 552 |
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
19 |
2 years ago |
| 553 |
Eigenvalue Bounds for Sum-Rank-Metric Codes
Aida Abiad, Antonina P. Khramova, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
19 |
2 years ago |
| 554 |
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
19 |
2 years ago |
| 555 |
Variable and value elimination in binary constraint satisfaction via forbidden patterns
David A. Cohen, Martin C. Cooper, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
18 |
11 years ago |
| 556 |
Computing with Tangles
Martin Grohe, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.DM
|
18 |
11 years ago |
| 557 |
PDE Approaches to Graph Analysis
Justin Solomon
|
🔮
The Ethereal
|
cs.DM
|
18 |
11 years ago |
| 558 |
All or Nothing at All
Paolo D'Arco, Navid Nasr Esfahani, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 559 |
Protection of flows under targeted attacks
Jannik Matuschke, S. Thomas McCormick, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
10 years ago |
| 560 |
On universal partial words
Herman Z. Q. Chen, Sergey Kitaev, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 561 |
Noisy population recovery in polynomial time
Anindya De, Michael Saks, Sijian Tang
|
🔮
The Ethereal
|
cs.CC
|
18 |
10 years ago |
| 562 |
Perfect snake-in-the-box codes for rank modulation
Alexander E. Holroyd
|
🔮
The Ethereal
|
math.CO
|
18 |
10 years ago |
| 563 |
Shotgun Assembly of Random Jigsaw Puzzles
Charles Bordenave, Uriel Feige, Elchanan Mossel
|
🔮
The Ethereal
|
math.CO
|
18 |
9 years ago |
| 564 |
Hardness of Permutation Pattern Matching
Vít Jelínek, Jan Kynčl
|
🔮
The Ethereal
|
math.CO
|
18 |
9 years ago |
| 565 |
On the Group and Color Isomorphism Problems
François Le Gall, David J. Rosenbaum
|
🔮
The Ethereal
|
cs.CC
|
18 |
9 years ago |
| 566 |
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
18 |
9 years ago |
| 567 |
The flip Markov chain for connected regular graphs
Colin Cooper, Martin Dyer, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
9 years ago |
| 568 |
Optimal Data Reduction for Graph Coloring Using Low-Degree Polynomials
Bart M. P. Jansen, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
18 |
8 years ago |
| 569 |
Priority Evacuation from a Disk Using Mobile Robots
J. Czyzowicz, K. Georgiou, ... (+6 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
7 years ago |
| 570 |
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Alexander Semenov, Ilya Otpuschennikov, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
7 years ago |
| 571 |
Correlation Clustering Generalized
David F. Gleich, Nate Veldt, Anthony Wirth
|
🔮
The Ethereal
|
cs.CC
|
18 |
7 years ago |
| 572 |
Debugging Smart Contract's Business Logic Using Symbolic Model-Checking
Evgeniy Shishkin
|
🔮
The Ethereal
|
cs.LO
|
18 |
7 years ago |
| 573 |
Determinantal conditions for homomorphic sensing
Manolis C. Tsakiris
|
🔮
The Ethereal
|
math.CO
|
18 |
7 years ago |
| 574 |
Token Swapping on Trees
Ahmad Biniaz, Kshitij Jain, ... (+7 more)
|
🔮
The Ethereal
|
cs.CC
|
18 |
7 years ago |
| 575 |
SMT-based Constraint Answer Set Solver EZSMT+
Da Shen, Yuliya Lierler
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 576 |
Towards Finding Longer Proofs
Zsolt Zombori, Adrián Csiszárik, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 577 |
Relative Hausdorff Distance for Network Analysis
Sinan G. Aksoy, Kathleen E. Nowak, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
18 |
6 years ago |
| 578 |
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Shahin Kamali, Avery Miller, Kenny Zhang
|
🔮
The Ethereal
|
math.CO
|
18 |
6 years ago |
| 579 |
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 580 |
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 581 |
APX-Hardness and Approximation for the k-Burning Number Problem
Debajyoti Mondal, N. Parthiban, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
18 |
5 years ago |
| 582 |
Asymptotically Optimal Vertex Ranking of Planar Graphs
Prosenjit Bose, Vida Dujmović, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
5 years ago |
| 583 |
Using a geometric lens to find k disjoint shortest paths
Matthias Bentert, André Nichterlein, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
5 years ago |
| 584 |
A Bunched Logic for Conditional Independence
Jialu Bao, Simon Docherty, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
5 years ago |
| 585 |
Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism
Daniel Gibney, Gary Hoppenworth, Sharma V. Thankachan
|
🔮
The Ethereal
|
cs.CC
|
18 |
5 years ago |
| 586 |
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
|
🔮
The Ethereal
|
cs.LO
|
18 |
5 years ago |
| 587 |
Training Neural Networks is NP-Hard in Fixed Dimension
Vincent Froese, Christoph Hertrich
|
🔮
The Ethereal
|
cs.CC
|
18 |
3 years ago |
| 588 |
Mutual visibility in hypercube-like graphs
Serafino Cicerone, Alessia Di Fonso, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
2 years ago |
| 589 |
Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star
Clément Dallard, Matjaž Krnc, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
18 |
2 years ago |
| 590 |
The Discrete Cosine Transform over Prime Finite Fields
M. M. Campello de Souza, H. M. de Oliveira, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
17 |
11 years ago |
| 591 |
Dominating induced matchings in graphs containing no long claw
Alain Hertz, Vadim Lozin, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
17 |
10 years ago |
| 592 |
Systematic Verification of the Modal Logic Cube in Isabelle/HOL
Christoph Benzmüller, Maximilian Claus, Nik Sultana
|
🔮
The Ethereal
|
cs.LO
|
17 |
10 years ago |
| 593 |
Extremal Distances for Subtree Transfer Operations in Binary Trees
Ross Atkins, Colin McDiarmid
|
🔮
The Ethereal
|
math.CO
|
17 |
10 years ago |
| 594 |
Hardness of RNA Folding Problem with Four Symbols
Yi-Jun Chang
|
🔮
The Ethereal
|
cs.CC
|
17 |
10 years ago |
| 595 |
Parameterizing edge modification problems above lower bounds
René van Bevern, Vincent Froese, Christian Komusiewicz
|
🔮
The Ethereal
|
cs.DM
|
17 |
10 years ago |
| 596 |
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
A. Molinari, A. Montanari, A. Peron
|
🔮
The Ethereal
|
cs.LO
|
17 |
10 years ago |
| 597 |
Quasi-4-Connected Components
Martin Grohe
|
🔮
The Ethereal
|
cs.DM
|
17 |
10 years ago |
| 598 |
On the limitations of analysing worst-case dynamic energy of processing
Jeremy Morse, Steve Kerrison, Kerstin Eder
|
🔮
The Ethereal
|
cs.CC
|
17 |
10 years ago |
| 599 |
Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
|
🔮
The Ethereal
|
cs.LO
|
17 |
10 years ago |
| 600 |
A Timed Process Algebra for Wireless Networks
Emile Bres, Rob van Glabbeek, Peter Höfner
|
🔮
The Ethereal
|
cs.LO
|
17 |
9 years ago |