文献

J-GLOBAL ID：200902175578749272   整理番号：94A0075987

陰的列挙法に基づくSATアルゴリズム

SAT Algorithm Based on Implicit Enumeration Method.

著者 (3件)： 大柳俊夫 (札幌医大) ,  山本雅人 (北大 工) ,  大内東 (北大 工)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 34  号： 12  ページ： 2464-2473  発行年： 1993年12月 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 陰的列挙法に基づく新しいSAT(命題論理の充足可能性問題)ア...

シソーラス用語： 充足可能性問題 ,...
準シソーラス用語： 陰的列挙法

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0075987&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (2件)： 計算理論  (JB02000A) ,  数理計画法  (KA03030M)

引用文献 (16件)：

• DAVIS, M. A Computing Procedure for Quantification Theories. J. ACM. 1960, 7, 201-215
• CHANG, C. Symbolic Logic and Mechanical Theorem Proving. 1973
• HOOKER, J. N. A Quantitative Approach to Logical Inference. Decision Support Systems. 1988, 4, 45-69
• JEROSLOW, R. G. Logic-Based Decision Support:Mixed Integer Model Formulation. 1989
• HOOKER, J. N. Resolution vs. Cutting Plane Solution of Integer Problems : Some Computational Experience. Operations Research Letters. 1988, 7, 1, 1-7

タイトルに関連する用語 (2件)： SAT ,  アルゴリズム