インクリメンタルSAT解法ライブラリとその応用

論文・著書情報

タイトル

和文:	インクリメンタルSAT解法ライブラリとその応用
英文:	An Incremental SAT Method Library and its Application (in Japanese)

著者

和文:	迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳.
英文:	Tatsuya Sako, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Hidetomo Nabeshima, Katsumi Inoue.

言語

Japanese

掲載誌/書名

和文:	コンピュータソフトウェア
英文:	Computer Software

巻, 号, ページ

Vol. 33 No. 4 pp. 16-29

出版年月

2016年11月

出版者

和文:
英文:	岩波書店

会議名称

和文:
英文:

開催地

和文:
英文:

DOI