文献
J-GLOBAL ID:200902131028606094
整理番号:01A0221697
MAX 3SATのランダムな例題生成
Random instance generation for MAX 3SAT.
著者 (1件):
MOTOKI M
(Tokyo Inst. Technol., Tokyo, JPN)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
100
号:
449(COMP2000 50-56)
ページ:
9-15
発行年:
2000年11月17日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)