Art
J-GLOBAL ID：201302288252061329   Reference number：13A1330911

Derandomizing the HSSW Algorithm for 3-SAT

3-SAT用のHSSWアルゴリズムの脱ランダム化
Author (3)：
MAKINO Kazuhisa

About MAKINO Kazuhisa

(Univ. of Tokyo, Graduate School of Information Sci. and Technol., Tokyo, JPN)

About Univ. of Tokyo, Graduate School of Information Sci. and Technol., Tokyo, JPN

, 
TAMAKI Suguru

About TAMAKI Suguru

(Kyoto Univ., Graduate School of Informatics, Japan, Kyoto)

About Kyoto Univ., Graduate School of Informatics, Japan, Kyoto

, 
YAMAMOTO Masaki

About YAMAMOTO Masaki

(Seikei Univ., Dep. of Computer and Information Sci., Tokyo, JPN)

About Seikei Univ., Dep. of Computer and Information Sci., Tokyo, JPN


Material：
Algorithmica

About Algorithmica


Volume： 67  Issue： 2  Page： 112-124  Publication year： Oct. 2013 
JST Material Number： T0530A  ISSN： 0178-4617  Document type： Article
Country of issue： United States (USA)  Language： ENGLISH (EN)
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
SAT

About SAT

, 
アルゴリズム

About アルゴリズム

, 
脱ランダム化

About 脱ランダム化


Return to Previous Page

TOP

BOTTOM