Information Science and Technology Center Kobe University

論文一覧:  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

    JSAI 参考文献40件 被引用文献4件

ページトップへ