Angione, Claudio; Occhipinti, Annalisa; Stracquadanio, … - In: European Journal of Operational Research 227 (2013) 1, pp. 44-54
This paper is concerned with the complex behavior arising in satisfiability problems. We present a new statistical physics-based characterization of the satisfiability problem. Specifically, we design an algorithm that is able to produce graphs starting from a k-SAT instance, in order to analyze...