学位論文 Partial MaxSAT問題における局所解の求解に対する並列SATソルバの有用性の評価

鈴木, 祥之

pp.1 - 37 , 2016-01-23
本文を読む

http://dspace.wul.waseda.ac.jp/dspace/bitstream/2065/48257/1/RikoShuron_2015_Suzuki.pdf

このアイテムのアクセス数:  回

その他の情報