| 3751 |
Product-Congruence Games: A Unified Impartial-Game Framework for RSA ($φ$-MuM) and AES (poly-MuM)
Satyam Tyagi
|
🔮
The Ethereal
|
cs.DM
|
0 |
12 months ago |
| 3752 |
Asymptotically Optimal Inapproximability of E$k$-SAT Reconfiguration
Shuichi Hirahara, Naoto Ohsaka
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3753 |
Towards EXPTIME One Way Functions: Bloom Filters, Succinct Graphs, Cliques, & Self Masking
Shlomi Dolev
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3754 |
Design Support for Multitape Turing Machines
Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced
|
🔮
The Ethereal
|
cs.FL
|
0 |
11 months ago |
| 3755 |
A Design Recipe and Recipe-Based Errors for Regular Expressions
Marco T. Morazán, Shamil Dzhatdoyev, ... (+4 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
11 months ago |
| 3756 |
Visual Execution and Validation of Finite-State Machines and Pushdown Automata
Marco T. Morazán, David Anthony K. Fields, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
11 months ago |
| 3757 |
Polynomial-time sampling despite disorder chaos
Eric Ma, Tselil Schramm
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3758 |
Millions of inequivalent quadratic APN functions in eight variables
Christof Beierle, Philippe Langevin, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
11 months ago |
| 3759 |
NP-Hardness and ETH-Based Inapproximability of Communication Complexity via Relaxed Interlacing
Serge Gaspers, Tao Zixu He, Simon Mackenzie
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3760 |
Sandwich Monotonicity and the Recognition of Weighted Graph Classes
Jesse Beisegel, Nina Chiarelli, ... (+6 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
11 months ago |
| 3761 |
Higher and extended Jacobi polynomials for codes
Himadri Shekhar Chakraborty, Tsuyoshi Miezaki
|
🔮
The Ethereal
|
math.CO
|
0 |
11 months ago |
| 3762 |
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Ryunosuke Endo, Tachio Terauchi
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 months ago |
| 3763 |
The linear programming optimum for packings in classical association schemes
Kai-Uwe Schmidt, Charlene Weiß
|
🔮
The Ethereal
|
math.CO
|
0 |
11 months ago |
| 3764 |
On the complexity of constrained reconfiguration and motion planning
Nicolas Bousquet, Remy El Sabeh, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3765 |
Analog computation with transcriptional networks
David Doty, Mina Latifi, David Soloveichick
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3766 |
Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
Radosław Jan Rowicki, Adrian Francalanza, Alceste Scalas
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 months ago |
| 3767 |
Disjunctions of Two Dependence Atoms
Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 months ago |
| 3768 |
Automata Learning -- Expect Delays!
Gabriel Dengler, Sven Apel, Holger Hermanns
|
🔮
The Ethereal
|
cs.FL
|
0 |
11 months ago |
| 3769 |
On systematic construction of correct logic programs
Włodzimierz Drabent
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 months ago |
| 3770 |
On the Parameterized Complexity of Grundy Domination and Zero Forcing Problems
Robert Scheffler
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3771 |
Compositional Verification in Concurrent Separation Logic with Permissions Regions
Quang Loc Le
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 months ago |
| 3772 |
To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
Anjo Seidel, Sarah Winkler, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
11 months ago |
| 3773 |
Reconstructing graphs and their connectivity using graphlets
David Hartman, Aneta Pokorná, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
11 months ago |
| 3774 |
An extension of Priestley duality to fuzzy topologies and positive MV-algebras
Marby Zuley Bolaños Ortiz, Ciro Russo
|
🔮
The Ethereal
|
math.CT
|
0 |
11 months ago |
| 3775 |
An algorithm for accurate and simple-looking metaphorical maps
Eleni Katsanou, Tamara Mchedlidze, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
11 months ago |
| 3776 |
Unclustered BWTs of any Length over Non-Binary Alphabets
Gabriele Fici, Estéban Gabory, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
11 months ago |
| 3777 |
Some Applications and Limitations of Convex Optimization Hierarchies for Discrete and Continuous Optimization Problems
Mrinalkanti Ghosh
|
🔮
The Ethereal
|
cs.CC
|
0 |
11 months ago |
| 3778 |
Constructive l2-Discrepancy Minimization with Additive Deviations
Kunal Dutta
|
🔮
The Ethereal
|
cs.DM
|
0 |
11 months ago |
| 3779 |
Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
Juan Pablo Carbonell, José E. Solsona, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3780 |
Lower Bounds for Linear Operators
Young Kun Ko
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 months ago |
| 3781 |
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, ... (+6 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3782 |
Forall-Exists Relational Verification by Filtering to Forall-Forall
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3783 |
Capturing an Invisible Robber using Separators
Igor Potapov, Tymofii Prokopenko, John Sylvester
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 months ago |
| 3784 |
Subgroup perfect codes of $S_n$ in Cayley sum graphs
Ankan Shaw, Biswajit Mondal, Satya Bagchi
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |
| 3785 |
Vertex-ordering and arc-partitioning problems
Nóra A. Borsik, Péter Madarasi
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |
| 3786 |
The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Grigory Kondyrev, David I. Spivak
|
🔮
The Ethereal
|
math.CT
|
0 |
10 months ago |
| 3787 |
Separable convex optimization over indegree polytopes
Nóra A. Borsik, Péter Madarasi
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |
| 3788 |
Dorst-Smeulders Coding for Arbitrary Binary Words
Alessandro De Luca, Gabriele Fici
|
🔮
The Ethereal
|
cs.DM
|
0 |
10 months ago |
| 3789 |
Liar's vertex-edge domination in unit disk graph
Debojyoti Bhattacharya, Subhabrata Paul
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |
| 3790 |
Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3791 |
The Hidden Strength of Costrong Functors
Adriana Balan, Silviu-George Pantelimon
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3792 |
Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3793 |
Smaller Circuits for Bit Addition
Mikhail Goncharov, Alexander S. Kulikov, Georgie Levtsov
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 months ago |
| 3794 |
An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
Marko Lela
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 months ago |
| 3795 |
The Complexity of Finding and Counting Subtournaments
Simon Döring, Sarah Houdaigoui, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
10 months ago |
| 3796 |
Theorem Provers: One Size Fits All?
Harrison Oates, Hyeonggeun Yun, Nikhila Gurusinghe
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3797 |
Entropy approximations of algebraic matroids over finite fields
Guillermo Matera
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |
| 3798 |
Gödel Mirror: A Formal System For Contradiction-Driven Recursion
Jhet Chan
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3799 |
Equivalence of Halting Problem to Convergence of Power Series
Antonio Joaquim Fernandes
|
🔮
The Ethereal
|
cs.LO
|
0 |
10 months ago |
| 3800 |
A multiset approach to MacWilliams identities
Hopein Christofen Tang
|
🔮
The Ethereal
|
math.CO
|
0 |
10 months ago |