:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Frankston, Keith, Scheinerman, Danny
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Combinatorics
Accesso online:	https://arxiv.org/abs/2408.02474
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
di: Kirchweger, Markus, et al.
Pubblicazione: (2025)

Fast computation of permanents over $\mathbb{F}_3$ via $\mathbb{F}_2$ arithmetic
di: Scheinerman, Danny
Pubblicazione: (2024)

Large-scale Monte Carlo simulations for zeros in character tables of symmetric groups
di: Miller, Alexander R., et al.
Pubblicazione: (2023)

On Independent Spanning Trees in Random and Pseudorandom Graphs
di: Draganić, Nemanja, et al.
Pubblicazione: (2025)

The Gamma-Theta Conjecture holds for planar graphs
di: Taletskii, Dmitrii
Pubblicazione: (2024)

Proof of Brouwers Conjecture (BC) for all graphs with number of vertices n > n_0 assuming that BC holds for n< n_0 for some n_0
di: Blinovsky, Vladimir, et al.
Pubblicazione: (2019)

The Total Coloring Conjecture holds for planar graphs without three special subgraphs
di: Su, Rongjin, et al.
Pubblicazione: (2025)

Dominating Hadwiger's Conjecture holds for all $2K_2$-free graphs
di: Song, Zi-Xia, et al.
Pubblicazione: (2025)

Finding hardness reductions automatically using SAT solvers
di: Bergold, Helena, et al.
Pubblicazione: (2024)

Constructing strong starters of orders $3p$: triplication with SAT solver
di: Ogandzhanyants, Oleg, et al.
Pubblicazione: (2025)

Investigating Simple Drawings of $K_n$ using SAT
di: Bergold, Helena, et al.
Pubblicazione: (2025)

A Proof of the $(n,k,t)$-Conjectures
di: Baumann, Stacie, et al.
Pubblicazione: (2022)

Improved Exponent for Marton's Conjecture in $\mathbb{F}_2^n$
di: Liao, Jyun-Jie
Pubblicazione: (2024)

Erdös's Matching Conjecture and $s$-wise $t$-intersection Conjecture via Symmetrical Smoothing Method
di: Blinovsky, Vladimir
Pubblicazione: (2014)

Inhomogeneous random 2-SAT
di: Hladký, Jan, et al.
Pubblicazione: (2025)

Proving it is impossible; on Erdős problem $\# 278$
di: Cambie, Stijn
Pubblicazione: (2025)

Seymour and Woodall's conjecture holds for graphs with independence number two
di: Chen, Rong, et al.
Pubblicazione: (2024)

Hadwiger's conjecture holds for strongly monotypic polytopes
di: Bui, Vuong
Pubblicazione: (2024)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
di: Jha, Piyush, et al.
Pubblicazione: (2024)

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening
di: Savchuk, Pavlo
Pubblicazione: (2025)

Posets for which Verdier duality holds
di: Aoki, Ko
Pubblicazione: (2022)

WalkSAT is linear on random 2-SAT
di: Berenbrink, Petra, et al.
Pubblicazione: (2024)

Accelerating Monte-Carlo Tree Search with Optimized Posterior Policies
di: Frankston, Keith, et al.
Pubblicazione: (2026)

The lonely runner conjecture holds for eight runners
di: Rosenfeld, Matthieu
Pubblicazione: (2025)

The lonely runner conjecture holds for nine runners
di: Rosenfeld, Matthieu
Pubblicazione: (2025)

Proving exact values for the $2$-limited broadcast domination number on grid graphs
di: Slobodin, Aaron, et al.
Pubblicazione: (2021)

Hegedus' Conjecture and Tighter Upper Bounds for Equidistant Codes in Hamming Spaces
di: Hu, Sihuang, et al.
Pubblicazione: (2025)

Towards the Overfull Conjecture
di: Shan, Songling
Pubblicazione: (2023)

Polynomization of Sun's Conjecture
di: Neuhauser, Bernhard Heim und Markus
Pubblicazione: (2026)

The Sunflower Conjecture Proven
di: Fukuyama, Junichiro
Pubblicazione: (2022)

Proving the existence of Euclidean knight's tours on $n \times n \times \cdots \times n$ chessboards for $n < 4$
di: Ripà, Marco
Pubblicazione: (2023)

Queen Domination by SAT Solving
di: Rostami, Taha, et al.
Pubblicazione: (2025)

Approximately counting maximal independent set is equivalent to #SAT
di: Zhang, Hao, et al.
Pubblicazione: (2024)

Improving SAT Solvers on Orthogonal Latin Square Problems
di: Barnoff, Aaron, et al.
Pubblicazione: (2026)

The burning number conjecture holds for trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices
di: Ning, Jiajun, et al.
Pubblicazione: (2025)

On the $k$-anti-traceability Conjecture
di: Chen, Bin, et al.
Pubblicazione: (2024)

Full Resolution to Papikian's Conjecture
di: Vollrath, Paul
Pubblicazione: (2025)

Augmentation Lemma for Halin Conjecture
di: Wojciechowski, Jerzy
Pubblicazione: (2026)

Note on the Additive Basis Conjecture
di: Yu, Yang
Pubblicazione: (2025)

Proofs Of Three Geode Conjectures
di: Amdeberhan, Tewodros, et al.
Pubblicazione: (2025)