A parametric description of phase transitions is done by using general analytical methods involving the bifurcation (branching) of solutions of nonlinear equations in a closed analytical form. The models include an order parameter in the Landau-type kinetic potential, and have been developed to...

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...