2017年
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.
Proceedings of 29th International Conference on Tools with Artificial Intelligence
- ,
- ,
- ,
- 開始ページ
- 868
- 終了ページ
- 875
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1109/ICTAI.2017.00135
- 出版者・発行元
- IEEE Computer Society
- リンク情報
- ID情報
-
- DOI : 10.1109/ICTAI.2017.00135
- DBLP ID : conf/ictai/ZhaUKF17