Gespeichert in:
| Hauptverfasser: | Zhang, Hao, Su, Tonghua |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2409.07035 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
A Hypergraph Container Method on Spread SAT: Approximation and Speedup
von: Han, Zicheng, et al.
Veröffentlicht: (2026)
von: Han, Zicheng, et al.
Veröffentlicht: (2026)
On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses
von: Caragiannis, Ioannis, et al.
Veröffentlicht: (2024)
von: Caragiannis, Ioannis, et al.
Veröffentlicht: (2024)
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
von: Li, Zhengyu, et al.
Veröffentlicht: (2023)
von: Li, Zhengyu, et al.
Veröffentlicht: (2023)
An unconditional lower bound for the active-set method in convex quadratic maximization
von: Bach, Eleon, et al.
Veröffentlicht: (2025)
von: Bach, Eleon, et al.
Veröffentlicht: (2025)
On Approximability of Satisfiable $k$-CSPs: VI
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)
On Approximability of Satisfiable $k$-CSPs: VII
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)
On Approximability of Satisfiable k-CSPs: IV
von: Bhangale, Amey, et al.
Veröffentlicht: (2023)
von: Bhangale, Amey, et al.
Veröffentlicht: (2023)
SAT Requires Exhaustive Search
von: Xu, Ke, et al.
Veröffentlicht: (2023)
von: Xu, Ke, et al.
Veröffentlicht: (2023)
Approximate cycle double cover
von: Ghanbari, Babak, et al.
Veröffentlicht: (2025)
von: Ghanbari, Babak, et al.
Veröffentlicht: (2025)
A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes
von: Yang, Chao, et al.
Veröffentlicht: (2024)
von: Yang, Chao, et al.
Veröffentlicht: (2024)
Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa
von: Bedert, Benjamin, et al.
Veröffentlicht: (2025)
von: Bedert, Benjamin, et al.
Veröffentlicht: (2025)
On full-separating sets and related codes in graphs
von: Chakraborty, Dipayan, et al.
Veröffentlicht: (2024)
von: Chakraborty, Dipayan, et al.
Veröffentlicht: (2024)
Finding hardness reductions automatically using SAT solvers
von: Bergold, Helena, et al.
Veröffentlicht: (2024)
von: Bergold, Helena, et al.
Veröffentlicht: (2024)
King Chasing Problem in Chinese Chess is NP-hard
von: Li, Chao, et al.
Veröffentlicht: (2026)
von: Li, Chao, et al.
Veröffentlicht: (2026)
Reinforced Generation of Combinatorial Structures: Hardness of Approximation
von: Nagda, Ansh, et al.
Veröffentlicht: (2025)
von: Nagda, Ansh, et al.
Veröffentlicht: (2025)
Approximate Graph Colouring and the Crystal with a Hollow Shadow
von: Ciardo, Lorenzo, et al.
Veröffentlicht: (2022)
von: Ciardo, Lorenzo, et al.
Veröffentlicht: (2022)
Low-Degree Polynomials Are Good Extractors
von: Alrabiah, Omar, et al.
Veröffentlicht: (2024)
von: Alrabiah, Omar, et al.
Veröffentlicht: (2024)
Improved Lower Bounds for all Odd-Query Locally Decodable Codes
von: Basu, Arpon, et al.
Veröffentlicht: (2024)
von: Basu, Arpon, et al.
Veröffentlicht: (2024)
Small Even Covers, Locally Decodable Codes and Restricted Subgraphs of Edge-Colored Kikuchi Graphs
von: Hsieh, Jun-Ting, et al.
Veröffentlicht: (2024)
von: Hsieh, Jun-Ting, et al.
Veröffentlicht: (2024)
The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture
von: Baril, Ambroise, et al.
Veröffentlicht: (2024)
von: Baril, Ambroise, et al.
Veröffentlicht: (2024)
A Subexponential Reduction from Product Partition to Subset Sum
von: Costandin, Marius
Veröffentlicht: (2024)
von: Costandin, Marius
Veröffentlicht: (2024)
Constant Degree Direct Product Testers with Small Soundness
von: Bafna, Mitali, et al.
Veröffentlicht: (2024)
von: Bafna, Mitali, et al.
Veröffentlicht: (2024)
A criterion for Andrásfai--Erdős--Sós type theorems and applications
von: Hou, Jianfeng, et al.
Veröffentlicht: (2024)
von: Hou, Jianfeng, et al.
Veröffentlicht: (2024)
Bisection Width, Discrepancy, and Eigenvalues of Hypergraphs
von: Räty, Eero, et al.
Veröffentlicht: (2024)
von: Räty, Eero, et al.
Veröffentlicht: (2024)
Parameterised Holant Problems
von: Aivasiliotis, Panagiotis, et al.
Veröffentlicht: (2024)
von: Aivasiliotis, Panagiotis, et al.
Veröffentlicht: (2024)
Corners in Quasirandom Groups via Sparse Mixing
von: Jaber, Michael, et al.
Veröffentlicht: (2024)
von: Jaber, Michael, et al.
Veröffentlicht: (2024)
The Rank-Ramsey Problem and the Log-Rank Conjecture
von: Beniamini, Gal, et al.
Veröffentlicht: (2024)
von: Beniamini, Gal, et al.
Veröffentlicht: (2024)
A combinatorial view of Holant problems on higher domains
von: Liu, Yin
Veröffentlicht: (2024)
von: Liu, Yin
Veröffentlicht: (2024)
Reasonable Bounds for Combinatorial Lines of Length Three
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)
Boosting uniformity in quasirandom groups: fast and simple
von: Derksen, Harm, et al.
Veröffentlicht: (2024)
von: Derksen, Harm, et al.
Veröffentlicht: (2024)
Two-Source and Affine Non-Malleable Extractors for Small Entropy
von: Li, Xin, et al.
Veröffentlicht: (2024)
von: Li, Xin, et al.
Veröffentlicht: (2024)
Computing eulerian magnitude homology
von: Menara, Giuliamaria, et al.
Veröffentlicht: (2024)
von: Menara, Giuliamaria, et al.
Veröffentlicht: (2024)
On the Nature and Complexity of an Impartial Two-Player Variant of the Game Lights-Out
von: Fiorini, Eugene, et al.
Veröffentlicht: (2024)
von: Fiorini, Eugene, et al.
Veröffentlicht: (2024)
On the Structure of Hamiltonian Graphs with Small Independence Number
von: Jedličková, Nikola, et al.
Veröffentlicht: (2024)
von: Jedličková, Nikola, et al.
Veröffentlicht: (2024)
Parks: A Doubly Infinite Family of NP-Complete Puzzles and Generalizations of A002464
von: Minevich, Igor, et al.
Veröffentlicht: (2024)
von: Minevich, Igor, et al.
Veröffentlicht: (2024)
$C_{2k+1}$-coloring of bounded-diameter graphs
von: Piecyk, Marta
Veröffentlicht: (2024)
von: Piecyk, Marta
Veröffentlicht: (2024)
Complexity Framework For Forbidden Subgraphs V: Beyond Simple Graphs
von: Eagling-Vose, Tala, et al.
Veröffentlicht: (2025)
von: Eagling-Vose, Tala, et al.
Veröffentlicht: (2025)
Refuting Perfect Matchings in Spectral Expanders is Hard
von: Biswas, Ari, et al.
Veröffentlicht: (2025)
von: Biswas, Ari, et al.
Veröffentlicht: (2025)
A Note on the Complexity of Directed Clique
von: Gutowski, Grzegorz, et al.
Veröffentlicht: (2026)
von: Gutowski, Grzegorz, et al.
Veröffentlicht: (2026)
Direct Product Primality Testing of Graphs is GI-hard
von: Calderoni, Luca, et al.
Veröffentlicht: (2020)
von: Calderoni, Luca, et al.
Veröffentlicht: (2020)
Ähnliche Einträge
-
A Hypergraph Container Method on Spread SAT: Approximation and Speedup
von: Han, Zicheng, et al.
Veröffentlicht: (2026) -
On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses
von: Caragiannis, Ioannis, et al.
Veröffentlicht: (2024) -
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
von: Li, Zhengyu, et al.
Veröffentlicht: (2023) -
An unconditional lower bound for the active-set method in convex quadratic maximization
von: Bach, Eleon, et al.
Veröffentlicht: (2025) -
On Approximability of Satisfiable $k$-CSPs: VI
von: Bhangale, Amey, et al.
Veröffentlicht: (2024)