A new encoding of alldifferent into SAT

収録刊行物

  • Proc. 3rd Int. Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2004

    Proc. 3rd Int. Workshop on Modelling and Reformulating Constraint Satisfaction Problems, 2004, 2004

被引用文献:  1件中 1-1件 を表示

  • 制約最適化問題とSAT符号化(<特集>最近のSAT技術の発展)

    田村 直之 , 丹生 智也 , 番原 睦則 , Naoyuki Tamura , Tomoya Tanjo , Mutsunori Banbara , 神戸大学学術情報基盤センター , 神戸大学大学院工学研究科 , 神戸大学学術情報基盤センター , Information Science and Technology Center Kobe University , Graduate School of Engineering Kobe University , Information Science and Technology Center Kobe University

    人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 25(1), 77-85, 2010-01-01

    CiNii 外部リンク 参考文献40件 被引用文献4件

各種コード

  • NII論文ID(NAID)
    10026031049
  • 資料種別
    会議資料
  • データ提供元
    CJP引用 
ページトップへ