| 1451 |
List homomorphisms by deleting edges and vertices: tight complexity bounds for bounded-treewidth graphs
Barış Can Esmer, Jacob Focke, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
3 years ago |
| 1452 |
Inapproximability of Counting Independent Sets in Linear Hypergraphs
Guoliang Qiu, Jiaheng Wang
|
🔮
The Ethereal
|
cs.CC
|
6 |
3 years ago |
| 1453 |
Improved NP-Hardness of Approximation for Orthogonality Dimension and Minrank
Dror Chawin, Ishay Haviv
|
🔮
The Ethereal
|
cs.CC
|
6 |
3 years ago |
| 1454 |
A Useful Inequality for the Binary Entropy Function
Ravi B. Boppana
|
🔮
The Ethereal
|
math.CO
|
6 |
3 years ago |
| 1455 |
On the Mixing Time of Glauber Dynamics for the Hard-core and Related Models on G(n,d/n)
Charilaos Efthymiou, Weiming Feng
|
🔮
The Ethereal
|
cs.DM
|
6 |
3 years ago |
| 1456 |
A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
Nicola Cotumaccio
|
🔮
The Ethereal
|
cs.FL
|
6 |
3 years ago |
| 1457 |
Unified Foundations of Team Semantics via Semirings
Timon Barlag, Miika Hannula, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
3 years ago |
| 1458 |
Grassmannians of codes
I. Cardinali, L. Giuzzi
|
🔮
The Ethereal
|
math.CO
|
6 |
3 years ago |
| 1459 |
On Approximate Reconfigurability of Label Cover
Naoto Ohsaka
|
🔮
The Ethereal
|
cs.DM
|
6 |
3 years ago |
| 1460 |
Set-coloring Ramsey numbers and error-correcting codes near the zero-rate threshold
David Conlon, Jacob Fox, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
6 |
3 years ago |
| 1461 |
Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?
Diptarka Chakraborty, Sourav Chakraborty, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
3 years ago |
| 1462 |
A proof of the Etzion-Silberstein conjecture for monotone and MDS-constructible Ferrers diagrams
Alessandro Neri, Mima Stanojkovski
|
🔮
The Ethereal
|
math.CO
|
6 |
3 years ago |
| 1463 |
A unified worst case for classical simplex and policy iteration pivot rules
Yann Disser, Nils Mosis
|
🔮
The Ethereal
|
cs.DM
|
6 |
2 years ago |
| 1464 |
Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds
Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits
|
🔮
The Ethereal
|
cs.FL
|
6 |
2 years ago |
| 1465 |
Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold
Venkatesan Guruswami, Jun-Ting Hsieh, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1466 |
Bent functions satisfying the dual bent condition and permutations with the $(\mathcal{A}_m)$ property
Alexandr Polujan, Enes Pasalic, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
6 |
2 years ago |
| 1467 |
Deterministic 3SUM-Hardness
Nick Fischer, Piotr Kaliciak, Adam Polak
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1468 |
On Learning Polynomial Recursive Programs
Alex Buna-Marginean, Vincent Cheval, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
2 years ago |
| 1469 |
Simplicial Models for the Epistemic Logic of Faulty Agents
Eric Goubault, Roman Kniazev, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
2 years ago |
| 1470 |
Treewidth is Polynomial in Maximum Degree on Weakly Sparse Graphs Excluding a Planar Induced Minor
Édouard Bonnet, Jędrzej Hodor, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
6 |
2 years ago |
| 1471 |
On the Constant-Depth Circuit Complexity of Generating Quasigroups
Nathaniel A. Collins, Joshua A. Grochow, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1472 |
Alphabet Reduction for Reconfiguration Problems
Naoto Ohsaka
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1473 |
The Primal Pathwidth SETH
Michael Lampis
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1474 |
The Low-Degree Hardness of Finding Large Independent Sets in Sparse Random Hypergraphs
Abhishek Dhawan, Yuzhou Wang
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1475 |
On the Power of Interactive Proofs for Learning
Tom Gur, Mohammad Mahdi Jahanara, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1476 |
Pseudorandom Permutations from Random Reversible Circuits
William He, Ryan O'Donnell
|
🔮
The Ethereal
|
cs.CC
|
6 |
2 years ago |
| 1477 |
Computing Hamiltonian Paths with Partial Order Restrictions
Jesse Beisegel, Fabienne Ratajczak, Robert Scheffler
|
🔮
The Ethereal
|
cs.DM
|
6 |
2 years ago |
| 1478 |
Eigenvalue bounds and alternating rank-metric codes
Aida Abiad, Gianira N. Alfarano, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
6 |
2 years ago |
| 1479 |
Constructing $k$-ary Orientable Sequences with Asymptotically Optimal Length
Daniel Gabrić, Joe Sawada
|
🔮
The Ethereal
|
cs.DM
|
6 |
2 years ago |
| 1480 |
The Bright Side of Timed Opacity
Étienne André, Sarah Dépernet, Engel Lefaucheux
|
🔮
The Ethereal
|
cs.LO
|
6 |
1 year ago |
| 1481 |
A refined graph container lemma and applications to the hard-core model on bipartite expanders
Matthew Jenssen, Alexandru Malekshahian, Jinyoung Park
|
🔮
The Ethereal
|
math.CO
|
6 |
1 year ago |
| 1482 |
Tree independence number V. Walls and claws
Maria Chudnovsky, Julien Codsi, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
6 |
1 year ago |
| 1483 |
Quotients of skew polynomial rings: new constructions of division algebras and MRD codes
F. J. Lobillo, Paolo Santonastaso, John Sheekey
|
🔮
The Ethereal
|
math.CO
|
6 |
1 year ago |
| 1484 |
Merge-width and First-Order Model Checking
Jan Dreier, Szymon Toruńczyk
|
🔮
The Ethereal
|
math.CO
|
6 |
1 year ago |
| 1485 |
Inconsistency Handling in DatalogMTL
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
|
🔮
The Ethereal
|
cs.LO
|
6 |
1 year ago |
| 1486 |
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
Jilin Hu, Jianyu Zhang, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
6 |
1 year ago |
| 1487 |
An Algebra to Merge Heterogeneous Classifiers
Philippe J. Giabbanelli, Joseph G. Peters
|
🔮
The Ethereal
|
cs.DM
|
5 |
11 years ago |
| 1488 |
Parameter Compilation
Hubie Chen
|
🔮
The Ethereal
|
cs.CC
|
5 |
11 years ago |
| 1489 |
Tree spanners of bounded degree graphs
Ioannis Papoutsakis
|
🔮
The Ethereal
|
cs.DM
|
5 |
11 years ago |
| 1490 |
Distributed Corruption Detection in Networks
Noga Alon, Elchanan Mossel, Robin Pemantle
|
🔮
The Ethereal
|
math.CO
|
5 |
11 years ago |
| 1491 |
A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability
Ahmed Younes, Jonathan E. Rowe
|
🔮
The Ethereal
|
cs.CC
|
5 |
11 years ago |
| 1492 |
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring (Extended Version)
Bjarki Ágúst Guðmundsson, Tómas Ken Magnússon, Björn Orri Sæmundsson
|
🔮
The Ethereal
|
cs.DM
|
5 |
10 years ago |
| 1493 |
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)
Alessandro Trindade, Hussama Ismail, Lucas Cordeiro
|
🔮
The Ethereal
|
cs.LO
|
5 |
10 years ago |
| 1494 |
Rank Aggregation: New Bounds for MCx
Daniel Freund, David P. Williamson
|
🔮
The Ethereal
|
cs.DM
|
5 |
10 years ago |
| 1495 |
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics
Samson Abramsky, Dominic Horsman
|
🔮
The Ethereal
|
cs.LO
|
5 |
10 years ago |
| 1496 |
Complexity of the Description Logic ALCM
Monica Martinez, Edelweis Rohrer, Paula Severi
|
🔮
The Ethereal
|
cs.LO
|
5 |
10 years ago |
| 1497 |
Enumeration and Random Generation of Unlabeled Classes of Graphs: A Practical Study of Cycle Pointing and the Dissymmetry Theorem
Alexander Iriza
|
🔮
The Ethereal
|
cs.DM
|
5 |
10 years ago |
| 1498 |
On computing tree and path decompositions with metric constraints on the bags
Guillaume Ducoffe, Sylvain Legay, Nicolas Nisse
|
🔮
The Ethereal
|
cs.CC
|
5 |
10 years ago |
| 1499 |
Lighthouse Principle for Diffusion in Social Networks
Sanaz Azimipour, Pavel Naumov
|
🔮
The Ethereal
|
math.LO
|
5 |
10 years ago |
| 1500 |
Generalized bent functions - sufficient conditions and related constructions
S. Hodžić, E. Pasalic
|
🔮
The Ethereal
|
math.CO
|
5 |
10 years ago |