Mitchell, D. G., Selman, B. and Levesque, H. J. : Hard and easy distributions of SAT problems. In Proc. AAAI-92, pp.459-465 (1992).

人工知能

Online ISSN : 2435-8614
Print ISSN : 2188-2266

人工知能学会誌（1986～2013, Print ISSN:0912-8085）

Mitchell, D. G., Selman, B. and Levesque, H. J. : Hard and easy distributions of SAT problems. In Proc. AAAI-92, pp.459-465 (1992).

新保仁

著者情報

解説誌・一般情報誌フリー

1993 年 8 巻 4 号 p. 526-527

DOI https://doi.org/10.11517/jjsai.8.4_526

詳細

記事の1ページ目

著者関連情報

© 1993 人工知能学会

お気に入り & アラート

関連記事

閲覧履歴

発行機関からのお知らせ

PDF閲覧時に認証を求められる記事がございます（発行後2年間）が，人工知能学会の個人会員は無料で閲覧可能です．認証のための購読者番号やパスワードは会員マイページ（ユース会員の場合はジュニア・ユース会員サイト）にログインし「お知らせ」にてご確認下さい（会員情報管理システムとオンラインで連携していないため，認証情報は同システムとは異なります．なお，認証情報は偶数月の月末に更新されます）．個人会員以外は，アマゾンにて冊子版あるいはKindle版を購入いただけます．

関連ジャーナル

人工知能学会論文誌

人工知能学会全国大会論文集

SLUD研究会資料

KBS研究会資料

FPAI研究会資料

ALST研究会資料

第二種研究会資料

Top