文献
J-GLOBAL ID:201002255803299138
整理番号:10A0966673
第七QBF(定量化Boole公式)ソルバの評価(QBFEVALL’10)
The Seventh QBF Solvers Evaluation (QBFEVAL’10)
著者 (6件):
PESCHIERA Claudia
(Univ. Genoa, Genova, ITA)
,
PULINA Luca
(Univ. Genoa, Genova, ITA)
,
TACCHELLA Armando
(Univ. Genoa, Genova, ITA)
,
BUBECK Uwe
(Univ. Paderborn, Paderborn, DEU)
,
KULLMANN Oliver
(Swansea Univ., Swansea, GBR)
,
LYNCE Ines
(Technical Univ. Lisbon, Lisbon, PRT)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6175
ページ:
237-250
発行年:
2010年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)