arXiv:cond-mat/0702610AbstractReferencesReviewsResources Classifications Subjects Themes Keywords phase diagram, satisfiability problem, boolean satisfaction problem, cavity method results, structural properties Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset