論文

査読有り
2017年

Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Proceedings of 29th International Conference on Tools with Artificial Intelligence
  • Aolong Zha
  • ,
  • Naoki Uemura
  • ,
  • Miyuki Koshimura
  • ,
  • Hiroshi Fujita

開始ページ
868
終了ページ
875
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1109/ICTAI.2017.00135
出版者・発行元
IEEE Computer Society

リンク情報
DOI
https://doi.org/10.1109/ICTAI.2017.00135
DBLP
https://dblp.uni-trier.de/rec/conf/ictai/ZhaUKF17
URL
http://doi.ieeecomputersociety.org/10.1109/ICTAI.2017.00135
Dblp Cross Ref
https://dblp.uni-trier.de/conf/ictai/2017
Dblp Url
https://dblp.uni-trier.de/db/conf/ictai/ictai2017.html#ZhaUKF17
ID情報
  • DOI : 10.1109/ICTAI.2017.00135
  • DBLP ID : conf/ictai/ZhaUKF17

エクスポート
BibTeX RIS