文献
J-GLOBAL ID:201202282983016033
整理番号:12A0432559
CNFの複雑さのための簡単な認可を伴うブール関数
Boolean functions with a simple certificate for CNF complexity
著者 (4件):
CEPEK Ondrej
(Charles Univ., Praha, CZE)
,
KUCERA Petr
(Charles Univ., Praha, CZE)
,
CEPEK Ondrej
(Inst. of Finance and Administration, Praha, CZE)
,
SAVICKY Petr
(Inst. of Computer Sci., Acad. of Sci. of the Czech Republic, Prague 8, CZE)
資料名:
Discrete Applied Mathematics
(Discrete Applied Mathematics)
巻:
160
号:
4-5
ページ:
365-382
発行年:
2012年03月
JST資料番号:
A1227A
ISSN:
0166-218X
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)