文献
J-GLOBAL ID:202102275188851568
整理番号:21A0029455
動的対称性ハンドリングベースのSATソルバのUNSAT結果の認証について【JST・京大機械翻訳】
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers
著者 (2件):
Tchinda Rodrigue Konan
(Department of Mathematics and Computer Science, Faculty of Sciences, University of Dschang, Dschang, Cameroon)
,
Djamegni Clementin Tayou
(Department of Mathematics and Computer Science, Faculty of Sciences, University of Dschang, Dschang, Cameroon)
資料名:
Constraints
(Constraints)
巻:
25
号:
3-4
ページ:
251-279
発行年:
2020年
JST資料番号:
W4195A
ISSN:
1383-7133
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)