| 1751 |
Ordered Graph Limits and Their Applications
Omri Ben-Eliezer, Eldar Fischer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1752 |
Minimum Guesswork with an Unreliable Oracle
Natan Ardimanov, Ofer Shayevitz, Itzhak Tamo
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1753 |
A Schur Complement Cheeger Inequality
Aaron Schild
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1754 |
Hardy-Muckenhoupt Bounds for Laplacian Eigenvalues
Gary L. Miller, Noel J. Walkington, Alex L. Wang
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1755 |
Time-reversal homotopical properties of concurrent systems
Cameron Calk, Eric Goubault, Philippe Malbos
|
🔮
The Ethereal
|
math.CT
|
4 |
7 years ago |
| 1756 |
Model-Checking on Ordered Structures
Kord Eickmeyer, Jan van den Heuvel, ... (+7 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1757 |
Unconstrained Church-Turing thesis cannot possibly be true
Yuri Gurevich
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1758 |
A Pre-Expectation Calculus for Probabilistic Sensitivity
Alejandro Aguirre, Gilles Barthe, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1759 |
Local approximation of the Maximum Cut in regular graphs
Étienne Bamas, Louis Esperet
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1760 |
On the dualization in distributive lattices and related problems
Oscar Defrain, Lhouari Nourine, Takeaki Uno
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1761 |
New doubly even self-dual codes having minimum weight 20
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
4 |
7 years ago |
| 1762 |
Trace Equivalence and Epistemic Logic to Express Security Properties
Kiraku Minami
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1763 |
Parameterized algorithms for Partial vertex covers in bipartite graphs
Vahan Mkrtchyan, Garik Petrosyan, K. Subramani
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1764 |
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
Eduard Kamburjan
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1765 |
Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle
Leandro C. Coelho, Gilbert Laporte, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1766 |
Robustness: a New Form of Heredity Motivated by Dynamic Networks
Arnaud Casteigts, Swan Dubois, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
7 years ago |
| 1767 |
Generic Encodings of Constructor Rewriting Systems
Horatiu Cirstea, Pierre-Etienne Moreau
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1768 |
Lasserre Integrality Gaps for Graph Spanners and Related Problems
Michael Dinitz, Yasamin Nazari, Zeyu Zhang
|
🔮
The Ethereal
|
cs.CC
|
4 |
7 years ago |
| 1769 |
Is Free Choice Permission Admissible in Classical Deontic Logic?
Guido Governatori, Antonino Rotolo
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1770 |
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
Philipp Berger, Johanna Nellen, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1771 |
FSM Error Messages
Marco T. Morazán, Josephine A. Des Rosiers
|
🔮
The Ethereal
|
cs.FL
|
4 |
7 years ago |
| 1772 |
The directed 2-linkage problem with length constraints
Jørgen Bang-Jensen, Thomas Bellitto, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
7 years ago |
| 1773 |
Vector Colorings of Random, Ramanujan, and Large-Girth Irregular Graphs
Jess Banks, Luca Trevisan
|
🔮
The Ethereal
|
cs.CC
|
4 |
7 years ago |
| 1774 |
Inapproximability Results for Scheduling with Interval and Resource Restrictions
Marten Maack, Klaus Jansen
|
🔮
The Ethereal
|
cs.CC
|
4 |
7 years ago |
| 1775 |
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
7 years ago |
| 1776 |
Pointers in Recursion: Exploring the Tropics
Paulin Jacobé de Naurois
|
🔮
The Ethereal
|
cs.CC
|
4 |
6 years ago |
| 1777 |
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1778 |
Spectral properties of generalized Paley graphs and their associated irreducible cyclic codes
Ricardo A. Podestá, Denis E. Videla
|
🔮
The Ethereal
|
math.CO
|
4 |
6 years ago |
| 1779 |
A Type-Based HFL Model Checking Algorithm
Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1780 |
Simplifying Neural Networks using Formal Verification
Sumathi Gokulanathan, Alexander Feldsher, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1781 |
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
Tuhin Sahai, Anurag Mishra, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1782 |
A 2-approximation for the $k$-prize-collecting Steiner tree problem
Lehilton Lelis Chaves Pedrosa, Hugo Kooki Kasuya Rosado
|
🔮
The Ethereal
|
cs.CC
|
4 |
6 years ago |
| 1783 |
Degree-Bounded Generalized Polymatroids and Approximating the Metric Many-Visits TSP
Kristóf Bérczi, André Berger, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1784 |
Tree search algorithms for the Sequential Ordering Problem
Luc Libralesso, Abdel-Malik Bouhassoun, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1785 |
On the relation between structured $d$-DNNFs and SDDs
Beate Bollig, Martin Farenholtz
|
🔮
The Ethereal
|
cs.CC
|
4 |
6 years ago |
| 1786 |
A Constructive Formalization of the Weak Perfect Graph Theorem
Abhishek Kr Singh, Raja Natarajan
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1787 |
Probabilistic process algebra and strategic interleaving
C. A. Middelburg
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1788 |
Induced odd cycle packing number, independent sets, and chromatic number
Zdeněk Dvořák, Jakub Pekárek
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1789 |
Algorithms for the rainbow vertex coloring problem on graph classes
Paloma T. Lima, Erik Jan van Leeuwen, Marieke van der Wegen
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1790 |
Approximation algorithm for the Multicovering Problem
Abbass Gorgi, Mourad El Ouali, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
6 years ago |
| 1791 |
Complete Edge-Colored Permutation Graphs
Tom Hartmann, Max Bannach, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
4 |
6 years ago |
| 1792 |
Generating collection transformations from proofs
Michael Benedikt, Cécilia Pradic
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1793 |
Linear transformations between dominating sets in the TAR-model
Nicolas Bousquet, Alice Joffard, Paul Ouvrard
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1794 |
Concave Aspects of Submodular Functions
Rishabh Iyer, Jeff Bilmes
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 1795 |
Smart Choices and the Selection Monad
Martin Abadi, Gordon Plotkin
|
🔮
The Ethereal
|
cs.LO
|
4 |
6 years ago |
| 1796 |
Proof-Carrying Plans: a Resource Logic for AI Planning
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
|
🔮
The Ethereal
|
cs.LO
|
4 |
5 years ago |
| 1797 |
Multi-Player Games with LDL Goals over Finite Traces
Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge
|
🔮
The Ethereal
|
cs.LO
|
4 |
5 years ago |
| 1798 |
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Tobias Geibinger, Hans Tompits
|
🔮
The Ethereal
|
cs.LO
|
4 |
5 years ago |
| 1799 |
Separation Results for Boolean Function Classes
Aniruddha Biswas, Palash Sarkar
|
🔮
The Ethereal
|
cs.CC
|
4 |
5 years ago |
| 1800 |
A Cyclic Proof System for HFLN
Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi
|
🔮
The Ethereal
|
cs.LO
|
4 |
5 years ago |