文献

J-GLOBAL ID：200902299974410424   整理番号：06A0490727

効率的なSATプランニングとSATスケジューリングのための補題再利用

Effective SAT Planning and SAT Scheduling by Lemma Reusing

著者 (4件)： NABESHIMA Hidetomo (Univ. Yamanashi) ,  SOH Takehide (Kobe Univ.) ,  INOUE Katsumi (National Inst. of Informatics) ,  IWANUMA Koji (Univ. Yamanashi)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 106  号： 38(AI2006 1-11)  ページ： 19-24  発行年： 2006年05月11日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 本稿では,SATプランニングとSATスケジューリングを効率よ...

シソーラス用語： *充足可能性問題 ,...

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

分類 (2件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H)

引用文献 (17件)：

• MARQUES-SILVA, J. P. GRASP-A search algorithm for propositional satisfiability. IEEE Transactions on Computers. 1999, 48, 506-521
• MOSKEWICZ, M. W. Chaff : Engineering an Efficient SAT Solver. Proceedings of DAC-01. 2001, 530-535
• KAUTZ, H. SATPLAN04 : Planning as satisfiability. Informal note of the International Planning Competition 2004. 2004
• KAUTZ, H. BLACKBOX : A new approach to the application of theorem proving to problem solving. AIPS98 Workshop on Planning as Combinatorial Search. 1998, 58-60
• CRAWFORD, J. M. Experimental results on the application of satisfiability algorithms to scheduling problems. Proceedings of AAAI-94. 1994, 1092-1097

タイトルに関連する用語 (5件)： SAT ,  プランニング ,  スケジューリング ,  補題 ,  再利用