文献
J-GLOBAL ID：201002255803299138   整理番号：10A0966673

第七QBF(定量化Boole公式)ソルバの評価(QBFEVALL’10)

The Seventh QBF Solvers Evaluation (QBFEVAL’10)
著者 (6件)：
PESCHIERA Claudia

PESCHIERA Claudia について

(Univ. Genoa, Genova, ITA)

Univ. Genoa, Genova, ITA について

, 
PULINA Luca

PULINA Luca について

(Univ. Genoa, Genova, ITA)

Univ. Genoa, Genova, ITA について

, 
TACCHELLA Armando

TACCHELLA Armando について

(Univ. Genoa, Genova, ITA)

Univ. Genoa, Genova, ITA について

, 
BUBECK Uwe

BUBECK Uwe について

(Univ. Paderborn, Paderborn, DEU)

Univ. Paderborn, Paderborn, DEU について

, 
KULLMANN Oliver

KULLMANN Oliver について

(Swansea Univ., Swansea, GBR)

Swansea Univ., Swansea, GBR について

, 
LYNCE Ines

LYNCE Ines について

(Technical Univ. Lisbon, Lisbon, PRT)

Technical Univ. Lisbon, Lisbon, PRT について


資料名：
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

Lecture Notes in Computer Science について


巻： 6175  ページ： 237-250  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
定量化

定量化 について

, 
ソルバ

ソルバ について

, 
評価

評価 について


前のページに戻る

TOP

BOTTOM