| 1501 |
Counting Zeros in Random Walks on the Integers and Analysis of Optimal Dual-Pivot Quicksort
Martin Aumüller, Martin Dietzfelbinger, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
10 years ago |
| 1502 |
The ERA of FOLE: Superstructure
Robert E. Kent
|
🔮
The Ethereal
|
cs.LO
|
5 |
10 years ago |
| 1503 |
Symmetry Breaking Predicates for SAT-based DFA Identification
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
|
🔮
The Ethereal
|
cs.FL
|
5 |
10 years ago |
| 1504 |
All binomial identities are orderable
Dmitry N. Kozlov
|
🔮
The Ethereal
|
cs.DM
|
5 |
10 years ago |
| 1505 |
Separating Sets of Strings by Finding Matching Patterns is Almost Always Hard
Giuseppe Lancia, Luke Mathieson, Pablo Moscato
|
🔮
The Ethereal
|
cs.CC
|
5 |
10 years ago |
| 1506 |
A heuristic approach for dividing graphs into bi-connected components with a size constraint
Raka Jovanovic, Tatsushi Nishi, Stefan Voss
|
🔮
The Ethereal
|
cs.DM
|
5 |
10 years ago |
| 1507 |
Approximation Algorithms for the Maximum Carpool Matching Problem
Gilad Kutiel
|
🔮
The Ethereal
|
cs.DM
|
5 |
10 years ago |
| 1508 |
The number of labeled graphs of bounded treewidth
Julien Baste, Marc Noy, Ignasi Sau
|
🔮
The Ethereal
|
math.CO
|
5 |
10 years ago |
| 1509 |
Algebraic Problems Equivalent to Beating Exponent 3/2 for Polynomial Factorization over Finite Fields
Zeyu Guo, Anand Kumar Narayanan, Chris Umans
|
🔮
The Ethereal
|
cs.CC
|
5 |
10 years ago |
| 1510 |
Multi-Party Protocols, Information Complexity and Privacy
Iordanis Kerenidis, Adi Rosén, Florent Urrutia
|
🔮
The Ethereal
|
cs.CC
|
5 |
10 years ago |
| 1511 |
Convexity and Order in Probabilistic Call-by-Name FPC
Mathys Rennela
|
🔮
The Ethereal
|
cs.LO
|
5 |
10 years ago |
| 1512 |
Challenges in Decomposing Encodings of Verification Problems
Peter Schrammel
|
🔮
The Ethereal
|
cs.LO
|
5 |
10 years ago |
| 1513 |
Tight Network Topology Dependent Bounds on Rounds of Communication
Arkadev Chattopadhyay, Michael Langberg, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
9 years ago |
| 1514 |
Steiner Network Problems on Temporal Graphs
Alex Khodaverdian, Benjamin Weitz, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
9 years ago |
| 1515 |
Counting Answer Sets via Dynamic Programming
Johannes Fichte, Markus Hecher, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
9 years ago |
| 1516 |
Ambiguity and Incomplete Information in Categorical Models of Language
Dan Marsden
|
🔮
The Ethereal
|
cs.LO
|
5 |
9 years ago |
| 1517 |
Quantitative aspects of linear and affine closed lambda terms
Pierre Lescanne
|
🔮
The Ethereal
|
cs.DM
|
5 |
9 years ago |
| 1518 |
Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version)
Giles Reger, Martin Suda, Andrei Voronkov
|
🔮
The Ethereal
|
cs.LO
|
5 |
9 years ago |
| 1519 |
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
Clement Carbonnel, David A. Cohen, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
9 years ago |
| 1520 |
Rerouting flows when links fail
Jannik Matuschke, S. Thomas McCormick, Gianpaolo Oriolo
|
🔮
The Ethereal
|
cs.DM
|
5 |
9 years ago |
| 1521 |
On the Integrality Gap of the Prize-Collecting Steiner Forest LP
Jochen Könemann, Neil Olver, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
9 years ago |
| 1522 |
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
Shankara Narayanan Krishna, Aviral Kumar, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
9 years ago |
| 1523 |
Inspecting Maude Variants with GLINTS
María Alpuente, Angel Cuenca-Ortega, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
9 years ago |
| 1524 |
Rook theory of the finite general linear group
Joel Brewster Lewis, Alejandro H. Morales
|
🔮
The Ethereal
|
math.CO
|
5 |
9 years ago |
| 1525 |
Hamiltonian Maker-Breaker games on small graphs
Miloš Stojaković, Nikola Trkulja
|
🔮
The Ethereal
|
math.CO
|
5 |
8 years ago |
| 1526 |
Hard and Easy Instances of L-Tromino Tilings
Javier T. Akagi, Carlos F. Gaona, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
8 years ago |
| 1527 |
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes
Stephane Le Roux, Guillermo A. Perez
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1528 |
On Optimal Trees for Irregular Gather and Scatter Collectives
Jesper Larsson Träff
|
🔮
The Ethereal
|
cs.CC
|
5 |
8 years ago |
| 1529 |
A Decidable Fragment of Second Order Logic With Applications to Synthesis
P. Madhusudan, Umang Mathur, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1530 |
Theory of higher order interpretations and application to Basic Feasible Functions
Emmanuel Hainry, Romain Péchoux
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1531 |
EMME: a formal tool for ECMAScript Memory Model Evaluation
Cristian Mattarei, Clark Barrett, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1532 |
Online Coloring of Short Intervals
Joanna Chybowska-Sokół, Grzegorz Gutowski, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
8 years ago |
| 1533 |
A note on two-colorability of nonuniform hypergraphs
Lech Duraj, Grzegorz Gutowski, Jakub Kozik
|
🔮
The Ethereal
|
math.CO
|
5 |
8 years ago |
| 1534 |
The Graph Exploration Problem with Advice
Hans-Joachim Böckenhauer, Janosch Fuchs, Walter Unger
|
🔮
The Ethereal
|
cs.CC
|
5 |
8 years ago |
| 1535 |
Computable decision making on the reals and other spaces via partiality and nondeterminism
Benjamin Sherman, Luke Sciarappa, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1536 |
Reduction of the Pareto Set in Bicriteria Asymmetric Traveling Salesman Problem
Aleksey O. Zakharov, Yulia V. Kovalenko
|
🔮
The Ethereal
|
cs.DM
|
5 |
8 years ago |
| 1537 |
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1538 |
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
Benjamin Cabrera, Tobias Heindel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1539 |
Coalgebraic Tools for Randomness-Conserving Protocols
Dexter Kozen, Matvey Soloviev
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1540 |
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
8 years ago |
| 1541 |
Level Planarity: Transitivity vs. Even Crossings
Guido Brückner, Ignaz Rutter, Peter Stumpf
|
🔮
The Ethereal
|
cs.DM
|
5 |
7 years ago |
| 1542 |
Computational Aspects of Optimal Strategic Network Diffusion
Marcin Waniek, Khaled Elbassioni, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1543 |
Hyperplane Sections of Determinantal Varieties over Finite Fields and Linear Codes
Peter Beelen, Sudhir R. Ghorpade
|
🔮
The Ethereal
|
math.CO
|
5 |
7 years ago |
| 1544 |
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
Ekaterina Komendantskaya Dr, Yue Li
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1545 |
Spanoids - an abstraction of spanning structures, and a barrier for LCCs
Zeev Dvir, Sivakanth Gopi, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1546 |
Convex Functions in ACL2(r)
Carl Kwan, Mark R. Greenstreet
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1547 |
On the complexity of color-avoiding site and bond percolation
Roland Molontay, Kitti Varga
|
🔮
The Ethereal
|
cs.DM
|
5 |
7 years ago |
| 1548 |
A Network Reliability Approach to the Analysis of Combinatorial Repairable Threshold Schemes
Bailey Kacsmar, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
5 |
7 years ago |
| 1549 |
Consistency for 0-1 Programming
Danial Davarnia, J. N. Hooker
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1550 |
Efficiently list-edge coloring multigraphs asymptotically optimally
Fotis Iliopoulos, Alistair Sinclair
|
🔮
The Ethereal
|
cs.DM
|
5 |
7 years ago |