Art

J-GLOBAL ID：201602210179276419   Reference number：16A0630986

An Algorithm for 3-SAT Problems

3SATの一アルゴリズム

Author (1)： TSUKIMOTO HIROSHI (東京電機大 工)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 116  Issue： 116(COMP2016 7-13)  Page： 89-96  Publication year： Jun. 17, 2016 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *satisfiability problem ,  *algebra ,  logics ,  computational complexity ,  *algorithm ,  Boolean algebra ,  trigonometric function ,  logical operation ,  frequency(Hz)
Semi thesaurus term： *3SAT ,  mathematical logic ,  *polynomial time algorithm ,  複素三角関数 ,  連言標準形 ,  logic formula

JST classification (2)： Logic algebra  (JB03000H) ,  Algebra  (AB02000R)

Terms in the title (1)： アルゴリズム