文献
J-GLOBAL ID:202002288924811669
整理番号:20A0909776
厳密な1SATの解法について【JST・京大機械翻訳】
On Solving Exactly-One-SAT
著者 (2件):
Boumarafi Yazid Mohamed
(CRIL- Artois University CNRS)
,
Salhi Yakoub
(CRIL- Artois University CNRS)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
ICTAI
ページ:
10-17
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)