The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)prov...