| 3101 |
Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order
Stepan Kochemazov, Eduard Vatutin, Oleg Zaikin
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3102 |
Verification of Asynchronous Systems with an Unspecified Component
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
|
🔮
The Ethereal
|
cs.FL
|
0 |
8 years ago |
| 3103 |
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Ekaterina Komendantskaya, John Power
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3104 |
Embedded-Graph Theory
Atsushi Yokoyama
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3105 |
An improved algorithm for recognizing matroids
Brahim Chaourar
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3106 |
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
Alex Groce, Stefan Leue
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3107 |
The Trees of Hanoi
Joost Engelfriet
|
🔮
The Ethereal
|
cs.FL
|
0 |
8 years ago |
| 3108 |
The Maximum Colorful Arborescence problem parameterized by the structure of its color hierarchy graph
Guillaume Fertin, Julien Fradin, Christian Komusiewicz
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3109 |
Improved approximation of layout problems on random graphs
Kevin K. H. Cheung, Patrick D. Girardet
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3110 |
Reversible DNA codes over a family of non-chain rings $R_{k,s}$
Fatmanur Gursoy, Elif Segah Oztas, Bahattin Yildiz
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3111 |
Cons-free Programming with Immutable Functions
Cynthia Kop
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3112 |
A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types
Peng Fu
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3113 |
On $P_5$-free Chordal bipartite graphs
S Aadhavan, P Renjith, N Sadagopan
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3114 |
Schur Number Five
Marijn J. H. Heule
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3115 |
Recovering tree-child networks from shortest inter-taxa distance information
Magnus Bordewich, Katharina T Huber, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3116 |
Proceedings Sixth Workshop on Synthesis
Dana Fisman, Swen Jacobs
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3117 |
Proceedings 10th Interaction and Concurrency Experience
Massimo Bartoletti, Laura Bocchi, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3118 |
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3119 |
Determinism in the Certification of UNSAT Proofs
Tomer Libal, Xaviera Steele
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3120 |
Exact Algorithms With Worst-case Guarantee For Scheduling: From Theory to Practice
Lei Shang
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3121 |
Efficient enumeration of solutions produced by closure operations
Arnaud Mary, Yann Strozecki
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3122 |
Proceedings Third Workshop on Graphs as Models
Timo Kehrer, Alice Miller
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3123 |
Hats: all or nothing
Theo van Uem
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3124 |
QBM - Mapping User-Specified Functions to Programmable Logic through a QBF Satisfiability Problem
Thomas B. Preußer
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3125 |
Finitary-based Domain Theory in Coq: An Early Report
Moez A. AbdelGawad
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3126 |
A Scalable Approach for Hardware Semiformal Verification
Tomas Grimm, Djones Lettnin, Michael Hübner
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3127 |
A Scheme-Driven Approach to Learning Programs from Input/Output Equations
Jochen Burghardt
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3128 |
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, David Sabel
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3129 |
Symmetry and Algorithmic Complexity of Polyominoes and Polyhedral Graphs
Hector Zenil, Narsis A. Kiani, Jesper Tegnér
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3130 |
Exact uniform sampling over catalan structures
Alexandros Angelopoulos, Eleni Bakali
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3131 |
Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs
Feodor F. Dragan, Guillaume Ducoffe, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3132 |
A constant-ratio approximation algorithm for a class of hub-and-spoke network design problems and metric labeling problems: star metric case
Yuko Kuroki, Tomomi Matsui
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3133 |
Mixing Time of Markov chain of the Knapsack Problem
Koko K. Kayibi, S. Pirzada, Carrie Rutherford
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3134 |
Information and Set Algebras: Interpretation and Uniqueness of Conditional Independence
Juerg Kohlas
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3135 |
Beating the integrality ratio for s-t-tours in graphs
Vera Traub, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3136 |
Intersecting edge distinguishing colorings of hypergraphs
Karolina Okrasa, Paweł Rzążewski
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3137 |
Neighborhood inclusions for minimal dominating sets enumeration: linear and polynomial delay algorithms in $P_7$-free and $P_8$-free chordal graphs
Oscar Defrain, Lhouari Nourine
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3138 |
A syllogistic system for propositions with intermediate quantifiers
Pasquale Iero, Allan Third, Paul Piwek
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3139 |
Verifying MITL formulae on Timed Automata considering a Continuous Time Semantics
Claudio Menghi, Marcello Bersani, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3140 |
What Does This Notation Mean Anyway?
David Feller, Joe B. Wells, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3141 |
Almost optimal Boolean matrix multiplication [BMM]-by multi-encoding of rows and columns
Eli Shamir
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3142 |
BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets
Kensuke Kojima
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3143 |
Weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$
Manjit Singh
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3144 |
Well-Scaling Procedure for Deciding Gammoid Class-Membership of Matroids
Immanuel Albrecht
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3145 |
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Frédéric Blanqui, Giselle Reis
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3146 |
Searching for dense subsets in a graph via the partition function
Alexander Barvinok, Anthony Della Pella
|
🔮
The Ethereal
|
math.CO
|
0 |
8 years ago |
| 3147 |
Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3148 |
Expressing Linear Orders Requires Exponential-Size DNNFs
Ronald de Haan
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3149 |
Searching for network modules
Giovanni Rossi
|
🔮
The Ethereal
|
cs.DM
|
0 |
8 years ago |
| 3150 |
Generating an ATL Model Checker using an Attribute Grammar
Florin Stoica, Laura Florentina Stoica
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |