文献

J-GLOBAL ID：200902253426547446   整理番号：05A0742910

回路状態空間直径問題から生じる命題ブール公式と定量化ブール公式の充足可能性のための探索ベースアルゴリズムの解析

Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems

著者 (4件)： TANG Daijue (Princeton Univ., NJ, USA) ,  YU Yinlei (Princeton Univ., NJ, USA) ,  RANJAN Darsh (Princeton Univ., NJ, USA) ,  MALIK Sharad (Princeton Univ., NJ, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3542  ページ： 292-305  発行年： 2005年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： 状態空間 ,  直径 ,  命題 ,  定量化 ,  充足可能性 ,  探索 ,  アルゴリズムの解析