| 1401 |
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)
Carl Kwan, Mark R. Greenstreet
|
🔮
The Ethereal
|
cs.LO
|
6 |
7 years ago |
| 1402 |
Description of sup- and inf-preserving aggregation functions via families of clusters in data tables
Radomír Halaš, Radko Mesiar, Jozef Pócs
|
🔮
The Ethereal
|
cs.LO
|
6 |
7 years ago |
| 1403 |
Efficient constructions of convex combinations for 2-edge-connected subgraphs on fundamental classes
Arash Haddadan, Alantha Newman
|
🔮
The Ethereal
|
cs.DM
|
6 |
7 years ago |
| 1404 |
On multifold packings of radius-1 balls in Hamming graphs
Denis S. Krotov, Vladimir N. Potapov
|
🔮
The Ethereal
|
cs.DM
|
6 |
7 years ago |
| 1405 |
New Results on Directed Edge Dominating Set
Rémy Belmonte, Tesshu Hanaka, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
7 years ago |
| 1406 |
Planar Polynomials arising from Linearized polynomials
Daniele Bartoli, Matteo Bonini
|
🔮
The Ethereal
|
math.CO
|
6 |
7 years ago |
| 1407 |
A Model Counter's Guide to Probabilistic Systems
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia
|
🔮
The Ethereal
|
cs.LO
|
6 |
7 years ago |
| 1408 |
Samplers and Extractors for Unbounded Functions
Rohit Agrawal
|
🔮
The Ethereal
|
cs.CC
|
6 |
7 years ago |
| 1409 |
Subspace code constructions
Antonio Cossidente, Giuseppe Marino, Francesco Pavese
|
🔮
The Ethereal
|
math.CO
|
6 |
7 years ago |
| 1410 |
Approximating the Orthogonality Dimension of Graphs and Hypergraphs
Ishay Haviv
|
🔮
The Ethereal
|
cs.CC
|
6 |
7 years ago |
| 1411 |
The Complexity of Helly-$B_{1}$ EPG Graph Recognition
Claudson F. Bornstein, Martin Charles Golumbic, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
6 |
7 years ago |
| 1412 |
Parametric Verification: An Introduction
Étienne André, Michał Knapik, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
7 years ago |
| 1413 |
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
Michele Boreale, Daniele Gorla
|
🔮
The Ethereal
|
cs.LO
|
6 |
7 years ago |
| 1414 |
Makespan Minimization with OR-Precedence Constraints
Felix Happach
|
🔮
The Ethereal
|
cs.DM
|
6 |
7 years ago |
| 1415 |
Revisiting Explicit Negation in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1416 |
Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Hans van Ditmarsch, Malvin Gattinger, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1417 |
Local Graph Stability in Exponential Family Random Graph Models
Yue Yu, Gianmarc Grazioli, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
6 |
6 years ago |
| 1418 |
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
K. Tuncay Tekle, Yanhong A. Liu
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1419 |
A new family of maximum scattered linear sets in $\mathrm{PG}(1,q^6)$
Daniele Bartoli, Corrado Zanella, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1420 |
Improved (In-)Approximability Bounds for d-Scattered Set
Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos
|
🔮
The Ethereal
|
cs.CC
|
6 |
6 years ago |
| 1421 |
Constructing Minimal Perfect Hash Functions Using SAT Technology
Sean Weaver, Marijn Heule
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1422 |
Dynamic Toolbox for ETRINV
Mikkel Abrahamsen, Tillmann Miltzow
|
🔮
The Ethereal
|
cs.CC
|
6 |
6 years ago |
| 1423 |
Conjunctive Regular Path Queries with String Variables
Markus L. Schmid
|
🔮
The Ethereal
|
cs.FL
|
6 |
6 years ago |
| 1424 |
Multi-transversals for Triangles and the Tuza's Conjecture
Parinya Chalermsook, Samir Khuller, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
6 |
6 years ago |
| 1425 |
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1426 |
Generalized Fitch Graphs III: Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge-labeled Trees
Marc Hellmuth, Carsten R. Seemann, Peter F. Stadler
|
🔮
The Ethereal
|
cs.DM
|
6 |
6 years ago |
| 1427 |
Counting directed acyclic and elementary digraphs
Élie de Panafieu, Sergey Dovgal
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1428 |
A lower bound on the number of inequivalent APN functions
Christian Kaspers, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1429 |
Cover Combinatorial Filters and their Minimization Problem (Extended Version)
Yulin Zhang, Dylan A. Shell
|
🔮
The Ethereal
|
cs.DM
|
6 |
6 years ago |
| 1430 |
On the intersection distribution of degree three polynomials and related topics
Gohar Kyureghyan, Shuxing Li, Alexander Pott
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1431 |
Nearest neighbor representations of Boolean functions
Péter Hajnal, Zhihao Liu, György Turán
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1432 |
The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability
Thomas Bläsius, Tobias Friedrich, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
6 years ago |
| 1433 |
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
Michael Blondin, Javier Esparza, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1434 |
List homomorphism problems for signed trees
Jan Bok, Richard Brewster, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1435 |
On the Power of Unambiguity in Büchi Complementation
Yong Li, Moshe Y. Vardi, Lijun Zhang
|
🔮
The Ethereal
|
cs.FL
|
6 |
6 years ago |
| 1436 |
Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time
Gábor Elek
|
🔮
The Ethereal
|
math.CO
|
6 |
6 years ago |
| 1437 |
Formally Verified Trades in Financial Markets
Suneel Sarswat, Abhishek Kr Singh
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 1438 |
Superregular matrices over small finite fields
Paulo Almeida, Diego Napp
|
🔮
The Ethereal
|
math.CO
|
6 |
5 years ago |
| 1439 |
SOS Rules for Equivalences of Reaction Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
|
🔮
The Ethereal
|
cs.LO
|
6 |
5 years ago |
| 1440 |
Deriving Theorems in Implicational Linear Logic, Declaratively
Paul Tarau, Valeria de Paiva
|
🔮
The Ethereal
|
cs.LO
|
6 |
5 years ago |
| 1441 |
The algebra of non-deterministic programs: demonic operators, orders and axioms
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
|
🔮
The Ethereal
|
cs.LO
|
6 |
5 years ago |
| 1442 |
On symmetric and Hermitian rank distance codes
Antonio Cossidente, Giuseppe Marino, Francesco Pavese
|
🔮
The Ethereal
|
math.CO
|
6 |
5 years ago |
| 1443 |
Reconfiguration of Connected Graph Partitions via Recombination
Hugo A. Akitaya, Matias Korman, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
6 |
5 years ago |
| 1444 |
Finding the Second-Best Candidate under the Mallows Model
Xujun Liu, Olgica Milenkovic
|
🔮
The Ethereal
|
math.CO
|
6 |
5 years ago |
| 1445 |
Few Induced Disjoint Paths for $H$-Free Graphs
Barnaby Martin, Daniël Paulusma, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
6 |
4 years ago |
| 1446 |
Tight Bounds for Repeated Balls-into-Bins
Dimitrios Los, Thomas Sauerwald
|
🔮
The Ethereal
|
cs.DM
|
6 |
4 years ago |
| 1447 |
Token sliding on graphs of girth five
Valentin Bartier, Nicolas Bousquet, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
4 years ago |
| 1448 |
Hardness Results for Weaver's Discrepancy Problem
Daniel A. Spielman, Peng Zhang
|
🔮
The Ethereal
|
cs.CC
|
6 |
4 years ago |
| 1449 |
Control hubs of complex networks and a polynomial-time identification algorithm
Xizhe Zhang, Chunyu Pan, Weixiong Zhang
|
🔮
The Ethereal
|
cs.DM
|
6 |
4 years ago |
| 1450 |
Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
Amar Hadzihasanovic, Diana Kessler
|
🔮
The Ethereal
|
math.CT
|
6 |
3 years ago |