Article ID: | iaor20131062 |
Volume: | 227 |
Issue: | 1 |
Start Page Number: | 44 |
End Page Number: | 54 |
Publication Date: | May 2013 |
Journal: | European Journal of Operational Research |
Authors: | Stracquadanio Giovanni, Angione Claudio, Occhipinti Annalisa, Nicosia Giuseppe |
Keywords: | satisfiability |
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