文献

J-GLOBAL ID：201002284275712303   整理番号：10A0966682

QBF(定量化Boole公式)解決における回路表現の利用

Exploiting Circuit Representations in QBF Solving

著者 (2件)： GOULTIAEVA Alexandra (Univ. Toronto) ,  BACCHUS Fahiem (Univ. Toronto)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6175  ページ： 333-339  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 定量化 ,  表現