文献
J-GLOBAL ID:202002219052446833
整理番号:20A0425852
最小充足可能性問題について【JST・京大機械翻訳】
On the Minimum Satisfiability Problem
著者 (4件):
Arif Umair
(Department of Math and Computer Science, University of Lethbridge, Lethbridge, AB, Canada)
,
Benkoczi Robert
(Department of Math and Computer Science, University of Lethbridge, Lethbridge, AB, Canada)
,
Gaur Daya Ram
(Department of Math and Computer Science, University of Lethbridge, Lethbridge, AB, Canada)
,
Krishnamurti Ramesh
(School of Computing Science, Simon Fraser University, Burnaby, BC, Canada)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12016
ページ:
269-281
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)