{"id":"arxiv/2605.20328","url":"https://arxiv.org/abs/2605.20328","tags":["cond-mat.stat-mech","cond-mat.str-el","cs.AI","math.CO"],"score":0,"title":"Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems","domain":"cond-mat.stat-mech","source":"arxiv","authors":["J. Schwardt","J. C. Budich"],"reviews":0,"subject":"cond-mat.stat-mech","summary":"Optimization problems such as the NP-complete 3-SAT provide an important benchmark for the difficult task of finding ground-states in strongly correlated many-body systems with rugged energy landscapes. The study of random 3-SAT problems as Ising spin Hamiltonians in statistical physics has yielded major insights including the existence of a satisfiability phase transition, and the prediction of a critical parameter line of particularly hard instances. Yet, progress on solving those instances has been scarce for several decades. Here, introducing the Target-SAT (TSAT) algorithm, we roughly…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-19","reactions":{}}