Angione, Claudio; Occhipinti, Annalisa; Stracquadanio, … - In: European Journal of Operational Research 227 (2013) 1, pp. 44-54
graphs starting from a k-SAT instance, in order to analyze them and show whether a Bose–Einstein condensation occurs. We … observe that, analogously to complex networks, the networks of k-SAT instances follow Bose statistics and can undergo Bose … to variables decreases, and the phase transition of k-SAT approximates the critical temperature for the Bose …