文献
J-GLOBAL ID:201702279490401780
整理番号:17A1185841
充足可能性試験と制約プログラミングにおける一般解概念の確率論的研究【Powered by NICT】
A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming
著者 (2件):
Zhang Peng
(Department of Computer Science, Irving K. Barber School of Arts and Sciences, University of British Columbia Okanagan, Kelowna, Canada V1V 1V7)
,
Gao Yong
(Department of Computer Science, Irving K. Barber School of Arts and Sciences, University of British Columbia Okanagan, Kelowna, Canada V1V 1V7)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
657
号:
PA
ページ:
98-110
発行年:
2017年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)