| 851 |
Hitting Families of Schedules for Asynchronous Programs
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
|
🔮
The Ethereal
|
cs.DM
|
12 |
10 years ago |
| 852 |
The Power of Local Information in PageRank
Marco Bressan, Enoch Peserico, Luca Pretto
|
🔮
The Ethereal
|
cs.DM
|
12 |
10 years ago |
| 853 |
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Martin C. Cooper, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
12 |
10 years ago |
| 854 |
Induced Minor Free Graphs: Isomorphism and Clique-width
Rémy Belmonte, Yota Otachi, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.DM
|
12 |
10 years ago |
| 855 |
Calculi for Intuitionistic Normal Modal Logic
Yoshihiko Kakutani
|
🔮
The Ethereal
|
cs.LO
|
12 |
10 years ago |
| 856 |
Reversible Sessions Using Monitors
Claudio A. Mezzina, Jorge A. Pérez
|
🔮
The Ethereal
|
cs.LO
|
12 |
10 years ago |
| 857 |
Undecidability of the Lambek calculus with subexponential and bracket modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
|
🔮
The Ethereal
|
math.LO
|
12 |
9 years ago |
| 858 |
Constructing Orthogonal Latin Squares from Linear Cellular Automata
Luca Mariot, Enrico Formenti, Alberto Leporati
|
🔮
The Ethereal
|
cs.DM
|
12 |
9 years ago |
| 859 |
Improved Bounds on Sidon Sets via Lattice Packings of Simplices
Mladen Kovačević, Vincent Y. F. Tan
|
🔮
The Ethereal
|
math.CO
|
12 |
9 years ago |
| 860 |
Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets
Navid Nasr Esfahani, Ian Goldberg, Douglas R. Stinson
|
🔮
The Ethereal
|
math.CO
|
12 |
9 years ago |
| 861 |
Evaluating the Stream Control Transmission Protocol Using Uppaal
Shruti Saini, Ansgar Fehnker
|
🔮
The Ethereal
|
cs.LO
|
12 |
9 years ago |
| 862 |
Approximations from Anywhere and General Rough Sets
A. Mani
|
🔮
The Ethereal
|
math.LO
|
12 |
9 years ago |
| 863 |
Fast exact algorithms for some connectivity problems parametrized by clique-width
Benjamin Bergougnoux, Mamadou Moustapha Kanté
|
🔮
The Ethereal
|
cs.CC
|
12 |
9 years ago |
| 864 |
Dimension Reduction for Polynomials over Gaussian Space and Applications
Badih Ghazi, Pritish Kamath, Prasad Raghavendra
|
🔮
The Ethereal
|
cs.CC
|
12 |
8 years ago |
| 865 |
New extremal singly even self-dual codes of lengths $64$ and $66$
Damyan Anev, Masaaki Harada, Nikolay Yankov
|
🔮
The Ethereal
|
math.CO
|
12 |
8 years ago |
| 866 |
The Refinement Calculus of Reactive Systems
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
|
🔮
The Ethereal
|
cs.LO
|
12 |
8 years ago |
| 867 |
Clique-width and Well-Quasi-Ordering of Triangle-Free Graph Classes
Konrad K. Dabrowski, Vadim V. Lozin, Daniël Paulusma
|
🔮
The Ethereal
|
math.CO
|
12 |
8 years ago |
| 868 |
Inductive $k$-independent graphs and $c$-colorable subgraphs in scheduling: A review
Matthias Bentert, René van Bevern, Rolf Niedermeier
|
🔮
The Ethereal
|
cs.DM
|
12 |
8 years ago |
| 869 |
Randomized sliding window algorithms for regular languages
Moses Ganardi, Danny Hucke, Markus Lohrey
|
🔮
The Ethereal
|
cs.FL
|
12 |
8 years ago |
| 870 |
Connectivity in Random Annulus Graphs and the Geometric Block Model
Sainyam Galhotra, Arya Mazumdar, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
12 |
8 years ago |
| 871 |
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
Erik D. Demaine, Timothy D. Goodrich, ... (+6 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
8 years ago |
| 872 |
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
Fabian Kunze, Gert Smolka, Yannick Forster
|
🔮
The Ethereal
|
cs.LO
|
12 |
8 years ago |
| 873 |
Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth
Bas A. M. van Geffen, Bart M. P. Jansen, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
8 years ago |
| 874 |
Planning and Synthesis Under Assumptions
Benjamin Aminof, Giuseppe De Giacomo, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
12 |
8 years ago |
| 875 |
Fair redistricting is hard
Richard Kueng, Dustin G. Mixon, Soledad Villar
|
🔮
The Ethereal
|
cs.CC
|
12 |
7 years ago |
| 876 |
The lengths of projective triply-even binary codes
Thomas Honold, Michael Kiermaier, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
12 |
7 years ago |
| 877 |
Multi-Criteria Dimensionality Reduction with Applications to Fairness
Uthaipon Tantipongpipat, Samira Samadi, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
12 |
7 years ago |
| 878 |
The Iterated Local Model for Social Networks
Anthony Bonato, Huda Chuangpishit, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
12 |
7 years ago |
| 879 |
Improved Strong Spatial Mixing for Colorings on Trees
Charilaos Efthymiou, Andreas Galanis, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
12 |
6 years ago |
| 880 |
Random $k$-out subgraph leaves only $O(n/k)$ inter-component edges
Jacob Holm, Valerie King, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
12 |
6 years ago |
| 881 |
Inferring Lower Runtime Bounds for Integer Programs
Florian Frohn, Matthias Naaf, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
12 |
6 years ago |
| 882 |
LinCode -- computer classification of linear codes
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
12 |
6 years ago |
| 883 |
Common Information, Matroid Representation, and Secret Sharing for Matroid Ports
Michael Bamiloshin, Aner Ben-Efraim, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
12 |
6 years ago |
| 884 |
Experiences from Exporting Major Proof Assistant Libraries
Michael Kohlhase, Florian Rabe
|
🔮
The Ethereal
|
cs.LO
|
12 |
6 years ago |
| 885 |
Lee-Yang zeros and the complexity of the ferromagnetic Ising model on bounded-degree graphs
Pjotr Buys, Andreas Galanis, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
6 years ago |
| 886 |
Homotopy Theoretic and Categorical Models of Neural Information Networks
Yuri Manin, Matilde Marcolli
|
🔮
The Ethereal
|
cs.LO
|
12 |
6 years ago |
| 887 |
$2$-Layer $k$-Planar Graphs: Density, Crossing Lemma, Relationships, and Pathwidth
Patrizio Angelini, Giordano Da Lozzo, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
12 |
5 years ago |
| 888 |
Sparsity of weighted networks: measures and applications
Swati Goswami, Asit K. Das, Subhas C. Nandy
|
🔮
The Ethereal
|
cs.DM
|
12 |
5 years ago |
| 889 |
Expressive power of linear algebra query languages
Floris Geerts, Thomas Muñoz, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
5 years ago |
| 890 |
Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders
Marc Roth, Johannes Schmitt, Philip Wellnitz
|
🔮
The Ethereal
|
cs.CC
|
12 |
5 years ago |
| 891 |
Integer Programming and Incidence Treedepth
Eduard Eiben, Robert Ganian, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
5 years ago |
| 892 |
Formalising Decentralised Exchanges in Coq
Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
|
🔮
The Ethereal
|
cs.LO
|
12 |
4 years ago |
| 893 |
Galactic Token Sliding
Valentin Bartier, Nicolas Bousquet, Amer E. Mouawad
|
🔮
The Ethereal
|
cs.CC
|
12 |
4 years ago |
| 894 |
Slim Tree-Cut Width
Robert Ganian, Viktoriia Korchemna
|
🔮
The Ethereal
|
cs.CC
|
12 |
4 years ago |
| 895 |
Matching Cuts in Graphs of High Girth and H-Free Graphs
Carl Feghali, Felicia Lucke, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
12 |
3 years ago |
| 896 |
Algebraic Model Management: A Survey
Patrick Schultz, David I. Spivak, Ryan Wisnesky
|
🔮
The Ethereal
|
cs.LO
|
12 |
3 years ago |
| 897 |
Being an Influencer is Hard: The Complexity of Influence Maximization in Temporal Graphs with a Fixed Source
Argyrios Deligkas, Michelle Döring, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
3 years ago |
| 898 |
Matching Patterns with Variables Under Simon's Congruence
Pamela Fleischmann, Sungmin Kim, ... (+5 more)
|
🔮
The Ethereal
|
cs.FL
|
12 |
2 years ago |
| 899 |
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Martin Grohe, Moritz Lichter, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
12 |
2 years ago |
| 900 |
On Induced Versions of Menger's Theorem on Sparse Graphs
Peter Gartland, Tuukka Korhonen, Daniel Lokshtanov
|
🔮
The Ethereal
|
math.CO
|
12 |
2 years ago |