文献
J-GLOBAL ID:202002266592739712
整理番号:20A1587205
パターン検出に基づくモデル計数方法【JST・京大機械翻訳】
Model Counting Methods Based on Configuration Checking
著者 (5件):
He Fulin
(吉林大学計算机科学与技術学院,吉林長春130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012)
,
Liu Lei
(吉林大学計算机科学与技術学院,吉林長春,130012)
,
Lv Shuai
(吉林大学計算机科学与技術学院,吉林長春130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012)
,
Niu Dangdang
(吉林大学計算机科学与技術学院,吉林長春130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012;西北農林科技大学信息工程学院,陜西楊凌712100)
,
Wang Qiang
(吉林大学計算机科学与技術学院,吉林長春130012;符号計算与知識工程教育部重点実験室(吉林大学),吉林長春 130012)
資料名:
Ruanjian Xuebao
(Ruanjian Xuebao)
巻:
31
号:
2
ページ:
395-405
発行年:
2020年
JST資料番号:
C2542A
ISSN:
1000-9825
CODEN:
RUXUEW
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
中国 (CHN)
言語:
中国語 (ZH)