Cover Image

WalkSAT is linear on random 2-SAT

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berenbrink, Petra, Coja-Oghlan, Amin, Cooper, Colin, Götte, Thorsten, Hintze, Lukas, Zakharov, Pavel
Format:	Preprint
Published:	2024
Subjects:	Combinatorics Discrete Mathematics 68Q87, 60C05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The random $k$-SAT Gibbs uniqueness threshold revisited
by: Chatterjee, Arnab, et al.
Published: (2025)

The number of random 2-SAT solutions is asymptotically log-normal
by: Chatterjee, Arnab, et al.
Published: (2024)

Belief Propagation Guided Decimation on Random k-XORSAT
by: Chatterjee, Arnab, et al.
Published: (2025)

Kolmogorov complexity as a combinatorial tool
by: Shen, Alexander
Published: (2024)

Random $2$-SAT: The set of atoms of the limiting empirical marginal distribution
by: Müller, Noela, et al.
Published: (2024)

Planting and MCMC Sampling from the Potts model
by: Galanis, Andreas, et al.
Published: (2024)

Low-temperature Sampling on Sparse Random Graphs
by: Galanis, Andreas, et al.
Published: (2025)

The rank of sparse random matrices
by: Coja-Oghlan, Amin, et al.
Published: (2019)

Finding cliques and dense subgraphs using edge queries
by: Csóka, Endre, et al.
Published: (2023)

Optimal Hardness of Online Algorithms for Large Independent Sets
by: Gamarnik, David, et al.
Published: (2025)

Noisy group testing via spatial coupling
by: Coja-Oghlan, Amin, et al.
Published: (2024)

The discrete Laplace asymptotic method and its application to the 3XOR satisfiability problem
by: Hughes, Jared A., et al.
Published: (2025)

Homomorphically Full Oriented Graphs
by: Bellitto, Thomas, et al.
Published: (2022)

Boltzmann Distribution on "Short" Integer Partitions with Power Parts: Limit Laws and Sampling
by: Peyen, Jean C., et al.
Published: (2023)

Complexity of learning matchings and half graphs via edge queries
by: Mande, Nikhil S., et al.
Published: (2025)

Trifferent codes with small lengths
by: Kurz, Sascha
Published: (2023)

On the Regularity of Random 2-SAT and 3-SAT
by: Basse-O'Connor, Andreas, et al.
Published: (2025)

Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
by: Bright, Curtis, et al.
Published: (2025)

Symmetric Rule-Based Achlioptas Processes for Random $k$-SAT
by: Chatterjee, Arnab
Published: (2025)

Myrvold's Results on Orthogonal Triples of $10 \times 10$ Latin Squares: A SAT Investigation
by: Bright, Curtis, et al.
Published: (2025)

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

An Algorithm to Recover Shredded Random Matrices
by: Atamanchuk, Caelan, et al.
Published: (2023)

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses
by: Caragiannis, Ioannis, et al.
Published: (2024)

Fast Shortest Path in Graphs With Sparse Signed Tree Models and Applications
by: Bonnet, Édouard, et al.
Published: (2026)

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

A new lower bound for deterministic pop-stack-sorting
by: Bauer, Morgan, et al.
Published: (2023)

Time-Biased Random Walks and Robustness of Expanders
by: Olesker-Taylor, Sam, et al.
Published: (2024)

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

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

Harmonious Colorings: bounds, heuristics and integer-linear formulations
by: Araújo, Júlio, et al.
Published: (2026)

Induced Disjoint Paths Without an Induced Minor
by: Aboulker, Pierre, et al.
Published: (2025)

Analysis of multivariate symbol statistics in primitive rational models
by: Goldwurm, Massimiliano, et al.
Published: (2026)

Tangled Paths: A Random Graph Model from Mallows Permutations
by: Enright, Jessica, et al.
Published: (2021)

Probabilistic Analysis of Edge Elimination for Euclidean TSP
by: Zhong, Xianghui
Published: (2018)

A study of the Antlion Random Walk
by: Narimatsu, Akihiro, et al.
Published: (2025)

Edge open packing: complexity, algorithmic aspects, and bounds
by: Brešar, Boštjan, et al.
Published: (2024)

Trail Trap: a variant of Partizan Edge Geography
by: Buchanan, Calum, et al.
Published: (2024)

Rainbow copies of spanning subgraphs
by: Cooper, Colin, et al.
Published: (2025)

Higher-order Delsarte Dual LPs: Lifting, Constructions and Completeness
by: Coregliano, Leonardo Nagami, et al.
Published: (2025)

Bad local minima exist in the stochastic block model
by: Coja-Oghlan, Amin, et al.
Published: (2024)