岩間 一雄   玉置 卓   
電子情報通信学会技術研究報告. COMP, コンピュテーション 105(680) 1-6 2006年3月
Recently, [Iwama, Tamaki, SODA04] gave a new worst-case upper bound for 3SAT by modifying the PPSZ-type algorithm in [Paturi et. al., FOCS98] by making use of the local-search-type one in [Schoning, Algorithmica 02]. We propose a different kind of...