検索結果2件中 1-2 を表示

  • 迫 龍哉 ID: 9000311512502

    CiNii収録論文: 1件

    • iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー (2015)
  • 迫 龍哉 ID: 9000345321146

    神戸大学大学院システム情報学研究科 (2016年 CiNii収録論文より)

    CiNii収録論文: 1件

    • インクリメンタルSAT解法ライブラリとその応用 (2016)
ページトップへ