no code implementations • 30 Mar 2013 • Soumya C. Kambhampati, Thomas Liu
Our extensive empirical studies show that SAT instances from realistic distributions do exhibit phase transition, but the transition occurs sooner (at lower values of constrainedness) than the instances from uniform random distribution.