MISC

2015年

iSugar:インクリメンタルSAT解法が利用可能なSAT型制約ソルバー

日本ソフトウエア科学会大会講演論文集(CD-ROM)
  • 迫龍哉
    • ,
  • 宋剛秀
    • ,
  • 番原睦則
    • ,
  • 田村直之
    • ,
  • 鍋島英知
    • ,
  • 井上克巳
巻
32nd
号
開始ページ
ROMBUNNO.PPL6-1
終了ページ
記述言語
日本語
掲載種別
リンク情報
J-GLOBAL
https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201502215990205058
ID情報
  • ISSN : 1348-0901
  • J-Global ID : 201502215990205058
エクスポート
BibTeX RIS
MISCリストへ