論文

査読有り

2017年

A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.

Proceedings of Conference on Technologies and Applications of Artificial Intelligence

Aolong Zha
Miyuki Koshimura
Hiroshi Fujita

開始ページ: 9
終了ページ: 12
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1109/TAAI.2017.15
出版者・発行元: IEEE Computer Society

リンク情報

DOI: https://doi.org/10.1109/TAAI.2017.15
DBLP: https://dblp.uni-trier.de/rec/conf/taai/ZhaKF17
URL: http://doi.ieeecomputersociety.org/10.1109/TAAI.2017.15
Dblp Cross Ref: https://dblp.uni-trier.de/conf/taai/2017
Dblp Url: https://dblp.uni-trier.de/db/conf/taai/taai2017.html#ZhaKF17

ID情報

DOI : 10.1109/TAAI.2017.15
DBLP ID : conf/taai/ZhaKF17

エクスポート: BibTeX RIS

論文リストへ