| 3501 |
Reconfigurable routing in data center networks
David C. Kutner, Iain A. Stewart
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3502 |
Foundations of Substructural Dependent Type Theory
C. B. Aberlé
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3503 |
New results on sparse representations in unions of orthonormal bases
Tao Zhang, Gennian Ge
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3504 |
Semitopology: distributed collaborative action via topology, algebra, and logic
Murdoch J. Gabbay
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3505 |
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3506 |
Vectorial Negabent Concepts: Similarities, Differences, and Generalizations
Nurdagül Anbar, Sadmir Kudin, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3507 |
Finding hardness reductions automatically using SAT solvers
Helena Bergold, Manfred Scheucher, Felix Schröder
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3508 |
Nearest Neighbor Representations of Neural Circuits
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3509 |
On a recent extension of a family of biprojective APN functions
Lukas Kölsch
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3510 |
A Simple Proof that Ricochet Robots is PSPACE-Complete
Jose Balanza-Martinez, Angel A. Cantu, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3511 |
List Coloring of some Cayley graphs using Kernel perfections
Prajnanaswaroopa S
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3512 |
Equational Bit-Vector Solving via Strong Gröbner Bases
Jiaxin Song, Hongfei Fu, Charles Zhang
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3513 |
Enumeration for MSO-Queries on Compressed Trees
Markus Lohrey, Markus L. Schmid
|
🔮
The Ethereal
|
cs.FL
|
0 |
2 years ago |
| 3514 |
Length Functions and the Dimension of Points in Self-Similar Fractal Trees
Christopher P. Porter
|
🔮
The Ethereal
|
math.LO
|
0 |
2 years ago |
| 3515 |
On $[1,2]$-Domination in Interval and Circle Graphs
Mohsen Alambardar Meybodi, Abolfazl Poureidi
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3516 |
Realizability in Semantics-Guided Synthesis Done Eagerly
Roland Meyer, Jakob Tepe, Sebastian Wolff
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3517 |
Approximating Maximum Edge 2-Coloring by Normalizing Graphs
Tobias Mömke, Alexandru Popa, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3518 |
A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
Cyril Cohen, Kazuhiko Sakaguchi
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3519 |
The q-ary Gilbert-Varshamov bound can be improved for all but finitely many positive integers q
Xue-Bin Liang
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3520 |
Fregean Flows
Eric Easthope
|
🔮
The Ethereal
|
math.LO
|
0 |
2 years ago |
| 3521 |
On extended perfect codes
Konstantin Vorob'ev
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3522 |
PackIt! Gamified Rectangle Packing
Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3523 |
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Frédéric Lang, Matthias Volk
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3524 |
Modelling the Raft Distributed Consensus Protocol in mCRL2
Parth Bora, Pham Duc Minh, Tim A. C. Willemse
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3525 |
Hardness of Learning Boolean Functions from Label Proportions
Venkatesan Guruswami, Rishi Saket
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3526 |
Representing Knowledge and Querying Data using Double-Functorial Semantics
Michael Lambert, Evan Patterson
|
🔮
The Ethereal
|
math.CT
|
0 |
2 years ago |
| 3527 |
Computing a Fixed Point of Contraction Maps in Polynomial Queries
Xi Chen, Yuhao Li, Mihalis Yannakakis
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3528 |
A formal specification of the jq language
Michael Färber
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3529 |
Degree Sequence Optimization and Extremal Degree Enumerators
Shmuel Onn
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3530 |
A classification of overlapping clustering schemes for hypergraphs
Vilhelm Agdur
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3531 |
Parametricity via Cohesion
C. B. Aberlé
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3532 |
Association schemes arising from non-weakly regular bent functions
Yadi Wei, Jiaxin Wang, Fang-Wei Fu
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3533 |
The Central Spanning Tree Problem
Enrique Fita Sanmartín, Christoph Schnörr, Fred A. Hamprecht
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3534 |
Fourier Analysis of Iterative Algorithms
Chris Jones, Lucas Pesenti
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3535 |
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Temur Kutsia, Daniel Ventura, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3536 |
On the sizes of BDDs and ZDDs representing matroids
Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3537 |
$α_i$-Metric Graphs: Hyperbolicity
Feodor F. Dragan, Guillaume Ducoffe
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3538 |
More Church-Rosser Proofs in BELUGA
Alberto Momigliano, Martina Sassella
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3539 |
An Encoding for CLP Problems in SMT-LIB
Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3540 |
muRelBench: MicroBenchmarks for Zonotope Domains
Kenny Ballou, Elena Sherman
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3541 |
Tightening I/O Lower Bounds through the Hourglass Dependency Pattern
Lionel Eyraud-Dubois, Guillaume Iooss, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3542 |
The distance function on Coxeter-like graphs and self-dual codes
Marko Orel, Draženka Višnjić
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3543 |
Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
Yuanrui Zhang
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3544 |
Useful Evaluation: Syntax and Semantics (Technical Report)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3545 |
Partially Ordered Sets Corresponding to the Partition Problem
Susumu Kubo
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |
| 3546 |
Data reification in a concurrent rely-guarantee algebra
Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 3547 |
Dimensionality and randomness
George Barmpalias, Xiaoyan Zhang
|
🔮
The Ethereal
|
math.LO
|
0 |
2 years ago |
| 3548 |
A Pair of Bayesian Network Structures has Undecidable Conditional Independencies
Cheuk Ting Li
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |
| 3549 |
On the Paley RIP and Paley graph extractor
Shohei Satake
|
🔮
The Ethereal
|
math.CO
|
0 |
2 years ago |
| 3550 |
Kolmogorov complexity as a combinatorial tool
Alexander Shen
|
🔮
The Ethereal
|
cs.DM
|
0 |
2 years ago |