| 1051 |
Axiomatizations for downward XPath on Data Trees
Sergio Abriola, María Emilia Descotte, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
9 |
10 years ago |
| 1052 |
Axiomatizing Category Theory in Free Logic
Christoph Benzmüller, Dana S. Scott
|
🔮
The Ethereal
|
cs.LO
|
9 |
9 years ago |
| 1053 |
Uniquely restricted matchings and edge colorings
Julien Baste, Dieter Rautenbach, Ignasi Sau
|
🔮
The Ethereal
|
math.CO
|
9 |
9 years ago |
| 1054 |
On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width
M. Rajaati, M. R. Hooshmandasl, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
9 years ago |
| 1055 |
Perfect phylogenies via branchings in acyclic digraphs and a generalization of Dilworth's theorem
Ademir Hujdurović, Edin Husić, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
9 years ago |
| 1056 |
Parameterized Algorithms for Recognizing Monopolar and 2-Subcolorable Graphs
Iyad Kanj, Christian Komusiewicz, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
9 years ago |
| 1057 |
Solving the Uncapacitated Single Allocation p-Hub Median Problem on GPU
Abdelhamid Benaini, Achraf Berrajaa, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
9 years ago |
| 1058 |
Estimating parameters associated with monotone properties
Carlos Hoppen, Yoshiharu Kohayakawa, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
9 |
8 years ago |
| 1059 |
Dimension 1 sequences are close to randoms
Noam Greenberg, Joe Miller, ... (+2 more)
|
🔮
The Ethereal
|
math.LO
|
9 |
8 years ago |
| 1060 |
Counterfactual Causality from First Principles?
Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani
|
🔮
The Ethereal
|
cs.LO
|
9 |
8 years ago |
| 1061 |
On Colouring $(2P_2,H)$-Free and $(P_5,H)$-Free Graphs
Konrad Dabrowski, Daniel Paulusma
|
🔮
The Ethereal
|
cs.CC
|
9 |
8 years ago |
| 1062 |
Topology of Privacy: Lattice Structures and Information Bubbles for Inference and Obfuscation
Michael Erdmann
|
🔮
The Ethereal
|
math.CO
|
9 |
8 years ago |
| 1063 |
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Christoph Wernhard
|
🔮
The Ethereal
|
cs.LO
|
9 |
8 years ago |
| 1064 |
Near-optimal approximation algorithm for simultaneous Max-Cut
Amey Bhangale, Subhash Khot, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
8 years ago |
| 1065 |
On Large-Scale Graph Generation with Validation of Diverse Triangle Statistics at Edges and Vertices
Geoffrey Sanders, Roger Pearce, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
8 years ago |
| 1066 |
New Lower Bounds for Permutation Arrays Using Contraction
Sergey Bereg, Zevi Miller, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
9 |
8 years ago |
| 1067 |
On the Conditional Logic of Simulation Models
Duligur Ibeling, Thomas Icard
|
🔮
The Ethereal
|
cs.LO
|
9 |
8 years ago |
| 1068 |
On the Semantics of Snapshot Isolation
Azalea Raad, Ori Lahav, Viktor Vafeiadis
|
🔮
The Ethereal
|
cs.LO
|
9 |
8 years ago |
| 1069 |
An Assmus-Mattson Theorem for Rank Metric Codes
Eimear Byrne, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
9 |
8 years ago |
| 1070 |
Approximating real-rooted and stable polynomials, with combinatorial applications
Alexander Barvinok
|
🔮
The Ethereal
|
math.CO
|
9 |
8 years ago |
| 1071 |
Topological Data Analysis Made Easy with the Topology ToolKit
Guillaume Favelier, Charles Gueunet, ... (+9 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
8 years ago |
| 1072 |
A Combinatorial-Probabilistic Analysis of Bitcoin Attacks
Evangelos Georgiadis, Doron Zeilberger
|
🔮
The Ethereal
|
math.CO
|
9 |
7 years ago |
| 1073 |
Reed-Solomon codes over small fields with constrained generator matrices
Gary Greaves, Jeven Syatriadi
|
🔮
The Ethereal
|
math.CO
|
9 |
7 years ago |
| 1074 |
Distributed coloring of graphs with an optimal number of colors
Étienne Bamas, Louis Esperet
|
🔮
The Ethereal
|
math.CO
|
9 |
7 years ago |
| 1075 |
Distance and routing labeling schemes for cube-free median graphs
Victor Chepoi, Arnaud Labourel, Sebastien Ratel
|
🔮
The Ethereal
|
cs.DM
|
9 |
7 years ago |
| 1076 |
The rank of random matrices over finite fields
Amin Coja-Oghlan, Pu Gao
|
🔮
The Ethereal
|
math.CO
|
9 |
7 years ago |
| 1077 |
Identifiers in Registers - Describing Network Algorithms with Logic
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
9 |
7 years ago |
| 1078 |
Dualization in lattices given by implicational bases
Oscar Defrain, Lhouari Nourine
|
🔮
The Ethereal
|
cs.DM
|
9 |
7 years ago |
| 1079 |
Reconfiguration of Connected Graph Partitions
Hugo A. Akitaya, Matthew D. Jones, ... (+6 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
7 years ago |
| 1080 |
Probabilistic refinement of the asymptotic spectrum of graphs
Péter Vrana
|
🔮
The Ethereal
|
math.CO
|
9 |
7 years ago |
| 1081 |
Towards Evolutionary Theorem Proving for Isabelle/HOL
Yutaka Nagashima
|
🔮
The Ethereal
|
cs.LO
|
9 |
7 years ago |
| 1082 |
Reasoning about disclosure in data integration in the presence of source constraints
Michael Benedikt, Pierre Bourhis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
9 |
7 years ago |
| 1083 |
Efficient Graph Rewriting
Graham Campbell
|
🔮
The Ethereal
|
cs.LO
|
9 |
7 years ago |
| 1084 |
Eccentricity function in distance-hereditary graphs
Feodor F. Dragan, Heather M. Guarnera
|
🔮
The Ethereal
|
cs.DM
|
9 |
7 years ago |
| 1085 |
Mutation Testing with Hyperproperties
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
|
🔮
The Ethereal
|
cs.LO
|
9 |
7 years ago |
| 1086 |
Hardness and approximation for the geodetic set problem in some graph classes
Dibyayan Chakraborty, Florent Foucaud, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
9 |
6 years ago |
| 1087 |
An Improved Linear Programming Bound on the Average Distance of a Binary Code
Lei Yu, Vincent Y. F. Tan
|
🔮
The Ethereal
|
math.CO
|
9 |
6 years ago |
| 1088 |
Knowledge of Uncertain Worlds: Programming with Logical Constraints
Yanhong A. Liu, Scott D. Stoller
|
🔮
The Ethereal
|
cs.LO
|
9 |
6 years ago |
| 1089 |
Improved Bounds for Track Numbers of Planar Graphs
Sergey Pupyrev
|
🔮
The Ethereal
|
cs.DM
|
9 |
6 years ago |
| 1090 |
Multistage Graph Problems on a Global Budget
Klaus Heeger, Anne-Sophie Himmel, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
6 years ago |
| 1091 |
On Efficient Distance Approximation for Graph Properties
Nimrod Fiat, Dana Ron
|
🔮
The Ethereal
|
math.CO
|
9 |
6 years ago |
| 1092 |
Faster Binary Mean Computation Under Dynamic Time Warping
Nathan Schaar, Vincent Froese, Rolf Niedermeier
|
🔮
The Ethereal
|
cs.DM
|
9 |
6 years ago |
| 1093 |
On the Classification of Motions of Paradoxically Movable Graphs
Georg Grasegger, Jan Legerský, Josef Schicho
|
🔮
The Ethereal
|
math.CO
|
9 |
6 years ago |
| 1094 |
Robust testing of low-dimensional functions
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
9 |
6 years ago |
| 1095 |
Finding Planted Cliques in Sublinear Time
Jay Mardia, Hilal Asi, Kabir Aladin Chandrasekher
|
🔮
The Ethereal
|
cs.CC
|
9 |
6 years ago |
| 1096 |
A Practical Algorithm for the Computation of the Genus
G. Brinkmann
|
🔮
The Ethereal
|
math.CO
|
9 |
6 years ago |
| 1097 |
Fixed Point Semantics for Stream Reasoning
Christian Antić
|
🔮
The Ethereal
|
cs.LO
|
9 |
6 years ago |
| 1098 |
CDCL(Crypto) SAT Solvers for Cryptanalysis
Saeed Nejati, Vijay Ganesh
|
🔮
The Ethereal
|
cs.LO
|
9 |
6 years ago |
| 1099 |
Improved Extractors for Small-Space Sources
Eshan Chattopadhyay, Jesse Goodman
|
🔮
The Ethereal
|
cs.CC
|
9 |
6 years ago |
| 1100 |
FPT Algorithms for Finding Near-Cliques in $c$-Closed Graphs
Balaram Behera, Edin Husić, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
9 |
6 years ago |