| 901 |
Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof
Karthik C. S., Dániel Marx, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
2 years ago |
| 902 |
Some easy optimization problems have the overlap-gap property
Shuangping Li, Tselil Schramm
|
🔮
The Ethereal
|
cs.CC
|
12 |
1 year ago |
| 903 |
Linear Codes associated to Determinantal Varieties
Peter Beelen, Sudhir R. Ghorpade, Sartaj Ul Hasan
|
🔮
The Ethereal
|
math.CO
|
11 |
11 years ago |
| 904 |
Blocking optimal arborescences
Attila Bernáth, Gyula Pap
|
🔮
The Ethereal
|
math.CO
|
11 |
11 years ago |
| 905 |
Maximum weighted independent sets with a budget
Tushar Kalra, Rogers Mathew, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
11 |
11 years ago |
| 906 |
Idempotents in intensional type theory
Michael Shulman
|
🔮
The Ethereal
|
math.LO
|
11 |
11 years ago |
| 907 |
Extending ACL2 with SMT Solvers
Yan Peng, Mark Greenstreet
|
🔮
The Ethereal
|
cs.LO
|
11 |
10 years ago |
| 908 |
A short note on Merlin-Arthur protocols for subset sum
Jesper Nederlof
|
🔮
The Ethereal
|
cs.CC
|
11 |
10 years ago |
| 909 |
Loopless Gray Code Enumeration and the Tower of Bucharest
Felix Herter, Günter Rote
|
🔮
The Ethereal
|
cs.DM
|
11 |
10 years ago |
| 910 |
Program Derivation by Correctness Enhacements
Nafi Diallo, Wided Ghardallou, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
10 years ago |
| 911 |
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
Gina Belmonte, Vincenzo Ciancia, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
10 years ago |
| 912 |
$r-$Bell polynomials in combinatorial Hopf algebras
Ali Chouria, Jean-Gabriel Luque
|
🔮
The Ethereal
|
math.CO
|
11 |
10 years ago |
| 913 |
Hierarchical State Machines as Modular Horn Clauses
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
|
🔮
The Ethereal
|
cs.LO
|
11 |
10 years ago |
| 914 |
Improving and extending the testing of distributions for shape-restricted properties
Eldar Fischer, Oded Lachish, Yadu Vasudev
|
🔮
The Ethereal
|
cs.CC
|
11 |
9 years ago |
| 915 |
Subgaussian Tail Bounds via Stability Arguments
Thomas Steinke, Jonathan Ullman
|
🔮
The Ethereal
|
cs.DM
|
11 |
9 years ago |
| 916 |
The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
Christoph Wernhard
|
🔮
The Ethereal
|
cs.LO
|
11 |
9 years ago |
| 917 |
Line Hermitian Grassmann Codes and their Parameters
Ilaria Cardinali, Luca Giuzzi
|
🔮
The Ethereal
|
math.CO
|
11 |
9 years ago |
| 918 |
Predicate Pairing for Program Verification
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
8 years ago |
| 919 |
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Dominik Klein, Rasmus K. Rendsvig
|
🔮
The Ethereal
|
cs.LO
|
11 |
8 years ago |
| 920 |
Model Checking Social Network Models
Raúl Pardo, Gerardo Schneider
|
🔮
The Ethereal
|
cs.LO
|
11 |
8 years ago |
| 921 |
Computing permanents of complex diagonally dominant matrices and tensors
Alexander Barvinok
|
🔮
The Ethereal
|
math.CO
|
11 |
8 years ago |
| 922 |
On the nonexistence of linear perfect Lee codes
Tao Zhang, Yue Zhou
|
🔮
The Ethereal
|
math.CO
|
11 |
8 years ago |
| 923 |
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
Koko Muroya, Dan R. Ghica
|
🔮
The Ethereal
|
cs.LO
|
11 |
8 years ago |
| 924 |
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
Fedor Part, Iddo Tzameret
|
🔮
The Ethereal
|
cs.CC
|
11 |
8 years ago |
| 925 |
A family of neighborhood contingency logics
Jie Fan
|
🔮
The Ethereal
|
math.LO
|
11 |
7 years ago |
| 926 |
Model-Based Safety and Security Engineering
Vivek Nigam, Alexander Pretschner, Harald Ruess
|
🔮
The Ethereal
|
cs.LO
|
11 |
7 years ago |
| 927 |
Topological Bounds on the Dimension of Orthogonal Representations of Graphs
Ishay Haviv
|
🔮
The Ethereal
|
math.CO
|
11 |
7 years ago |
| 928 |
A Linear Programming Based Approach to the Steiner Tree Problem with a Fixed Number of Terminals
Matias Siebert, Shabbir Ahmed, George Nemhauser
|
🔮
The Ethereal
|
math.CO
|
11 |
7 years ago |
| 929 |
Efficiently factoring polynomials modulo $p^4$
Ashish Dwivedi, Rajat Mittal, Nitin Saxena
|
🔮
The Ethereal
|
cs.CC
|
11 |
7 years ago |
| 930 |
Linear-Time and Efficient Distributed Algorithms for List Coloring Graphs on Surfaces
Luke Postle
|
🔮
The Ethereal
|
math.CO
|
11 |
7 years ago |
| 931 |
Taking Linear Logic Apart
Wen Kokke, Fabrizio Montesi, Marco Peressotti
|
🔮
The Ethereal
|
cs.LO
|
11 |
7 years ago |
| 932 |
An extremal problem for integer sparse recovery
Sergei Konyagin, Benny Sudakov
|
🔮
The Ethereal
|
math.CO
|
11 |
7 years ago |
| 933 |
Gray-box Monitoring of Hyperproperties (Extended Version)
Sandro Stucki, César Sánchez, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
7 years ago |
| 934 |
Runtime Verification For Timed Event Streams With Partial Information
Martin Leucker, César Sánchez, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
7 years ago |
| 935 |
The $k$-Dimensional Weisfeiler-Leman Algorithm
Neil Immerman, Rik Sengupta
|
🔮
The Ethereal
|
cs.CC
|
11 |
7 years ago |
| 936 |
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Luiz H. Sena, Iury V. Bessa, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
6 years ago |
| 937 |
Learning Concepts Definable in First-Order Logic with Counting
Steffen van Bergerem
|
🔮
The Ethereal
|
cs.LO
|
11 |
6 years ago |
| 938 |
Equivalence of Systematic Linear Data Structures and Matrix Rigidity
Sivaramakrishnan Natarajan Ramamoorthy, Cyrus Rashtchian
|
🔮
The Ethereal
|
cs.CC
|
11 |
6 years ago |
| 939 |
Formal composition of hybrid systems
Jared Culbertson, Paul Gustafson, ... (+2 more)
|
🔮
The Ethereal
|
math.CT
|
11 |
6 years ago |
| 940 |
Clustering powers of sparse graphs
Jaroslav Nešetřil, Patrice Ossona de Mendez, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
11 |
6 years ago |
| 941 |
Fair allocation of indivisible items with conflict graphs
Nina Chiarelli, Matjaž Krnc, ... (+4 more)
|
🔮
The Ethereal
|
cs.DM
|
11 |
6 years ago |
| 942 |
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
|
🔮
The Ethereal
|
cs.LO
|
11 |
6 years ago |
| 943 |
Stolarsky's invariance principle for finite metric spaces
Alexander Barg
|
🔮
The Ethereal
|
math.CO
|
11 |
6 years ago |
| 944 |
The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains
Caterina Viola, Stanislav Zivny
|
🔮
The Ethereal
|
cs.CC
|
11 |
6 years ago |
| 945 |
eclingo: A solver for Epistemic Logic Programs
Pedro Cabalar, Jorge Fandinno, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
5 years ago |
| 946 |
Incremental maintenance of overgrounded logic programs with tailored simplifications
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
|
🔮
The Ethereal
|
cs.LO
|
11 |
5 years ago |
| 947 |
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
Pascal Baumann, Rupak Majumdar, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
11 |
5 years ago |
| 948 |
On the cut dimension of a graph
Troy Lee, Tongyang Li, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
11 |
5 years ago |
| 949 |
Focal points and their implications for Möbius Transforms and Dempster-Shafer Theory
Maxime Chaveroche, Franck Davoine, Véronique Cherfaoui
|
🔮
The Ethereal
|
cs.DM
|
11 |
5 years ago |
| 950 |
Optimal labelling schemes for adjacency, comparability, and reachability
Marthe Bonamy, Louis Esperet, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
11 |
5 years ago |