| 1251 |
Rounds in a combinatorial search problem
Dániel Gerbner, Máté Vizer
|
🔮
The Ethereal
|
math.CO
|
7 |
9 years ago |
| 1252 |
The Half-integral Erdös-Pósa Property for Non-null Cycles
Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh
|
🔮
The Ethereal
|
cs.DM
|
7 |
9 years ago |
| 1253 |
Process algebra with strategic interleaving
J. A. Bergstra, C. A. Middelburg
|
🔮
The Ethereal
|
cs.LO
|
7 |
9 years ago |
| 1254 |
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
|
🔮
The Ethereal
|
cs.LO
|
7 |
9 years ago |
| 1255 |
A polynomial time algorithm for the Lambek calculus with brackets of bounded order
Max Kanovich, Stepan Kuznetsov, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
9 years ago |
| 1256 |
Emptiness Problems for Distributed Automata
Antti Kuusisto, Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
7 |
9 years ago |
| 1257 |
A fast algorithm for the gas station problem
Kleitos Papadopoulos, Demetres Christofides
|
🔮
The Ethereal
|
math.CO
|
7 |
9 years ago |
| 1258 |
Some intriguing upper bounds for separating hash families
Gennian Ge, Chong Shangguan, Xin Wang
|
🔮
The Ethereal
|
math.CO
|
7 |
9 years ago |
| 1259 |
A characterization of testable hypergraph properties
Felix Joos, Jaehoon Kim, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
7 |
9 years ago |
| 1260 |
Control-Flow Residual Analysis for Symbolic Automata
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
|
🔮
The Ethereal
|
cs.LO
|
7 |
8 years ago |
| 1261 |
A note on the complexity of Feedback Vertex Set parameterized by mim-width
Lars Jaffke, O-joung Kwon, Jan Arne Telle
|
🔮
The Ethereal
|
cs.CC
|
7 |
8 years ago |
| 1262 |
The cover time of a biased random walk on a random cubic graph
Colin Cooper, Alan Frieze, Tony Johansson
|
🔮
The Ethereal
|
math.CO
|
7 |
8 years ago |
| 1263 |
The $b$-branching problem in digraphs
Naonori Kakimura, Naoyuki Kamiyama, Kenjiro Takazawa
|
🔮
The Ethereal
|
cs.DM
|
7 |
8 years ago |
| 1264 |
Attributed Hierarchical Port Graphs and Applications
Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud
|
🔮
The Ethereal
|
cs.LO
|
7 |
8 years ago |
| 1265 |
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
|
🔮
The Ethereal
|
cs.LO
|
7 |
8 years ago |
| 1266 |
Characterizing and decomposing classes of threshold, split, and bipartite graphs via 1-Sperner hypergraphs
Endre Boros, Vladimir Gurvich, Martin Milanič
|
🔮
The Ethereal
|
math.CO
|
7 |
8 years ago |
| 1267 |
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Ronald de Haan, Iris van de Pol
|
🔮
The Ethereal
|
cs.CC
|
7 |
8 years ago |
| 1268 |
Bounds and algorithms for graph trusses
Paul Burkhardt, Vance Faber, David G. Harris
|
🔮
The Ethereal
|
math.CO
|
7 |
8 years ago |
| 1269 |
Realisability of Pomsets via Communicating Automata
Roberto Guanciale Dr, Emilio Tuosto Dr
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1270 |
Enumerating models of DNF faster: breaking the dependency on the formula size
Florent Capelli, Yann Strozecki
|
🔮
The Ethereal
|
cs.CC
|
7 |
7 years ago |
| 1271 |
Intersections between the norm-trace curve and some low degree curves
Matteo Bonini, Massimiliano Sala
|
🔮
The Ethereal
|
math.CO
|
7 |
7 years ago |
| 1272 |
On the Complexity of Exact Pattern Matching in Graphs: Binary Strings and Bounded Degree
Massimo Equi, Roberto Grossi, Veli Mäkinen
|
🔮
The Ethereal
|
cs.CC
|
7 |
7 years ago |
| 1273 |
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
Marlo Souza, Álvaro Moreira, Renata Vieira
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1274 |
Linearly-growing Reductions of Karp's 21 NP-complete Problems
Jerzy A Filar, Michael Haythorpe, Richard Taylor
|
🔮
The Ethereal
|
math.CO
|
7 |
7 years ago |
| 1275 |
Equivalence classes of Niho bent functions
K. Abdukhalikov
|
🔮
The Ethereal
|
math.CO
|
7 |
7 years ago |
| 1276 |
From DB-nets to Coloured Petri Nets with Priorities (Extended Version)
Marco Montali, Andrey Rivkin
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1277 |
On the Lambek Calculus with an Exchange Modality
Jiaming Jiang, Harley Eades, Valeria de Paiva
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1278 |
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
Kees van Berkel, Tim Lyon
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1279 |
Symmetry Properties of Nested Canalyzing Functions
Daniel J. Rosenkrantz, Madhav V. Marathe, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
7 |
7 years ago |
| 1280 |
A Complete Language for Faceted Dataflow Programs
Antonin Delpeuch
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1281 |
Efficient Circuit Simulation in MapReduce
Fabian Frei, Koichi Wada
|
🔮
The Ethereal
|
cs.CC
|
7 |
7 years ago |
| 1282 |
Subspaces intersecting in at most a point
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
7 |
7 years ago |
| 1283 |
Linear programming bounds for cliques in Paley graphs
Mark Magsino, Dustin G. Mixon, Hans Parshall
|
🔮
The Ethereal
|
math.CO
|
7 |
7 years ago |
| 1284 |
Tangles in the social sciences
Reinhard Diestel
|
🔮
The Ethereal
|
math.CO
|
7 |
7 years ago |
| 1285 |
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
Jorge Fandinno
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1286 |
Towards Logical Specification of Statistical Machine Learning
Yusuke Kawamoto
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 1287 |
Vector spaces as Kripke frames
Giuseppe Greco, Fei Liang, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
6 years ago |
| 1288 |
Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
|
🔮
The Ethereal
|
cs.LO
|
7 |
6 years ago |
| 1289 |
Formalizing the Dependency Pair Criterion for Innermost Termination
Ariane Alves Almeida, Mauricio Ayala-Rincon
|
🔮
The Ethereal
|
cs.LO
|
7 |
6 years ago |
| 1290 |
Optimal adaptive group testing
Max Hahn-Klimroth, Philipp Loick
|
🔮
The Ethereal
|
cs.DM
|
7 |
6 years ago |
| 1291 |
Constructions of Pairs of Orthogonal Latin Cubes
Vladimir N. Potapov
|
🔮
The Ethereal
|
math.CO
|
7 |
6 years ago |
| 1292 |
Infinite families of $2$-designs from a class of non-binary Kasami cyclic codes
Rong Wang, Xiaoni Du, Cuiling Fan
|
🔮
The Ethereal
|
math.CO
|
7 |
6 years ago |
| 1293 |
(Newtonian) Space-Time Algebra
James E. Smith
|
🔮
The Ethereal
|
cs.LO
|
7 |
6 years ago |
| 1294 |
Time-Space Tradeoffs for Distinguishing Distributions and Applications to Security of Goldreich's PRG
Sumegha Garg, Pravesh K. Kothari, Ran Raz
|
🔮
The Ethereal
|
cs.CC
|
7 |
6 years ago |
| 1295 |
On the inverses of Kasami and Bracken-Leander exponents
Lukas Kölsch
|
🔮
The Ethereal
|
math.CO
|
7 |
6 years ago |
| 1296 |
A note on the Assmus--Mattson theorem for some binary codes
Tsuyoshi Miezaki, Hiroyuki Nakasora
|
🔮
The Ethereal
|
math.CO
|
7 |
6 years ago |
| 1297 |
On Tilings of Asymmetric Limited-Magnitude Balls
Hengjia Wei, Moshe Schwartz
|
🔮
The Ethereal
|
math.CO
|
7 |
6 years ago |
| 1298 |
A New Integer Programming Formulation of the Graphical Traveling Salesman Problem
Robert D. Carr, Neil Simonetti
|
🔮
The Ethereal
|
cs.DM
|
7 |
6 years ago |
| 1299 |
Almost Affinely Disjoint Subspaces
Hedongliang Liu, Nikita Polyanskii, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
7 |
6 years ago |
| 1300 |
Partially Observable Concurrent Kleene Algebra
Jana Wagemaker, Paul Brunet, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
7 |
6 years ago |