Search Results for author: Thomas Liu

Found 2 papers, 0 papers with code

Phase Transition and Network Structure in Realistic SAT Problems

no code implementations30 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.

Clustering

Cannot find the paper you are looking for? You can Submit a new open access paper.