| 1851 |
Maximizing Matching Cuts
Van Bang Le, Felicia Lucke, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |
| 1852 |
Theoretical analysis of git bisect
Julien Courtiel, Paul Dorbec, Romain Lecoq
|
🔮
The Ethereal
|
cs.DM
|
4 |
2 years ago |
| 1853 |
The Tactician's Web of Large-Scale Formal Knowledge
Lasse Blaauwbroek
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1854 |
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
Noam Zilberstein
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1855 |
Randomized query composition and product distributions
Swagato Sanyal
|
🔮
The Ethereal
|
cs.CC
|
4 |
2 years ago |
| 1856 |
Reversing information flow: retrodiction in semicartesian categories
Arthur J. Parzygnat
|
🔮
The Ethereal
|
math.CT
|
4 |
2 years ago |
| 1857 |
Noisy group testing via spatial coupling
Amin Coja-Oghlan, Max Hahn-Klimroth, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
2 years ago |
| 1858 |
Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness
Barış Can Esmer, Jacob Focke, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
2 years ago |
| 1859 |
Improved Space Bounds for Subset Sum
Tatiana Belova, Nikolai Chukhin, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
2 years ago |
| 1860 |
Probabilistic estimates of the diameters of the Rubik's Cube groups
So Hirata
|
🔮
The Ethereal
|
cs.DM
|
4 |
2 years ago |
| 1861 |
Finding d-Cuts in Graphs of Bounded Diameter, Graphs of Bounded Radius and H-Free Graphs
Felicia Lucke, Ali Momeni, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |
| 1862 |
Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four
Artem Kaznatcheev, Melle van Marle
|
🔮
The Ethereal
|
cs.DM
|
4 |
2 years ago |
| 1863 |
On the Inapproximability of Finding Minimum Monitoring Edge-Geodetic Sets
Davide Bilò, Giordano Colli, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
2 years ago |
| 1864 |
Complexity of Robust Orbit Problems for Torus Actions and the abc-conjecture
Peter Bürgisser, Mahmut Levent Doğan, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
2 years ago |
| 1865 |
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, ... (+5 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1866 |
The geometry of intersecting codes and applications to additive combinatorics and factorization theory
Martino Borello, Wolfgang Schmid, Martin Scotti
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |
| 1867 |
Bisimulation for Impure Simplicial Complexes
Marta Bílková, Hans van Ditmarsch, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1868 |
Totally symmetric Grassmannian codes
Matthew Fickus, Joseph W. Iverson, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
2 years ago |
| 1869 |
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand, Pranav Ghorpade, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
2 years ago |
| 1870 |
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, Robin Jean
|
🔮
The Ethereal
|
cs.LO
|
4 |
1 year ago |
| 1871 |
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček, Joaquin Arias, ... (+7 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
1 year ago |
| 1872 |
Smoothed analysis for graph isomorphism
Michael Anastos, Matthew Kwan, Benjamin Moore
|
🔮
The Ethereal
|
math.CO
|
4 |
1 year ago |
| 1873 |
Subsequence Matching and Analysis Problems for Formal Languages
Szilárd Zsolt Fazekas, Tore Koß, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
4 |
1 year ago |
| 1874 |
Relative-error monotonicity testing
Xi Chen, Anindya De, ... (+5 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
1 year ago |
| 1875 |
The geometry of covering codes in the sum-rank metric
Matteo Bonini, Martino Borello, Eimear Byrne
|
🔮
The Ethereal
|
math.CO
|
4 |
1 year ago |
| 1876 |
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
Benjamin Aminof, Giuseppe De Giacomo, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
1 year ago |
| 1877 |
Solving Multiagent Path Finding on Highly Centralized Networks
Foivos Fioravantes, Dušan Knop, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
1 year ago |
| 1878 |
Graph parameters that are coarsely equivalent to tree-length
Feodor F. Dragan
|
🔮
The Ethereal
|
math.CO
|
4 |
1 year ago |
| 1879 |
An Improved Bound for the Beck-Fiala Conjecture
Nikhil Bansal, Haotian Jiang
|
🔮
The Ethereal
|
math.CO
|
4 |
11 months ago |
| 1880 |
On the Complexity of Sorted Neighborhood
Mayank Kejriwal, Daniel P. Miranker
|
🔮
The Ethereal
|
cs.CC
|
3 |
11 years ago |
| 1881 |
Improving the Deductive System DES with Persistence by Using SQL DBMS's
Fernando Sáenz-Pérez
|
🔮
The Ethereal
|
cs.LO
|
3 |
11 years ago |
| 1882 |
Finding Connected Dense $k$-Subgraphs
Xujin Chen, Xiaodong Hu, Changjun Wang
|
🔮
The Ethereal
|
cs.DM
|
3 |
11 years ago |
| 1883 |
Some enumerations of binary digital images
P. Christopher Staecker
|
🔮
The Ethereal
|
math.CO
|
3 |
11 years ago |
| 1884 |
A simple framework on sorting permutations
Ricky X. F. Chen, Christian M. Reidys
|
🔮
The Ethereal
|
math.CO
|
3 |
11 years ago |
| 1885 |
New Algorithms for Computing a Single Component of the Discrete Fourier Transform
G. Jerônimo da Silva, R. M. Campello de Souza, H. M. de Oliveira
|
🔮
The Ethereal
|
cs.DM
|
3 |
11 years ago |
| 1886 |
Dynamic Programming on Nominal Graphs
Nicklas Hoch, Ugo Montanari, Matteo Sammartino
|
🔮
The Ethereal
|
cs.LO
|
3 |
11 years ago |
| 1887 |
Sparse multivariate polynomial interpolation in the basis of Schubert polynomials
Priyanka Mukhopadhyay, Youming Qiao
|
🔮
The Ethereal
|
cs.CC
|
3 |
11 years ago |
| 1888 |
Additive monotones for resource theories of parallel-combinable processes with discarding
Brendan Fong, Hugo Nava-Kopp
|
🔮
The Ethereal
|
cs.LO
|
3 |
11 years ago |
| 1889 |
An Implementation Model for Interaction Nets
Abubakar Hassan, Ian Mackie, Shinya Sato
|
🔮
The Ethereal
|
cs.LO
|
3 |
11 years ago |
| 1890 |
Differentially Private Response Mechanisms on Categorical Data
Naoise Holohan, Doug Leith, Oliver Mason
|
🔮
The Ethereal
|
cs.DM
|
3 |
11 years ago |
| 1891 |
Polynomial Expressions of Carries in p-ary Arithmetics
Shizuo Kaji, Toshiaki Maeno, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
11 years ago |
| 1892 |
The Truncated & Supplemented Pascal Matrix and Applications
M. Hua, S. B. Damelin, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
11 years ago |
| 1893 |
Ride Sharing with a Vehicle of Unlimited Capacity
Angelo Fanelli, Gianluigi Greco
|
🔮
The Ethereal
|
cs.DM
|
3 |
11 years ago |
| 1894 |
Bounds for codes on pentagon and other cycles
Marco Dalai, Yury Polyanskiy
|
🔮
The Ethereal
|
math.CO
|
3 |
10 years ago |
| 1895 |
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
Makoto Hamana
|
🔮
The Ethereal
|
cs.LO
|
3 |
10 years ago |
| 1896 |
Self-Coordinated Corona Graphs: a model for complex networks
Rohan Sharma, Bibhas Adhikari
|
🔮
The Ethereal
|
cs.DM
|
3 |
10 years ago |
| 1897 |
Recognizing Union-Find trees is NP-complete
Kitti Gelle, Szabolcs Ivan
|
🔮
The Ethereal
|
cs.CC
|
3 |
10 years ago |
| 1898 |
Subsequence Automata with Default Transitions
Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen
|
🔮
The Ethereal
|
cs.FL
|
3 |
10 years ago |
| 1899 |
Type Soundness for Path Polymorphism
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
|
🔮
The Ethereal
|
cs.LO
|
3 |
10 years ago |
| 1900 |
A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
10 years ago |