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

鈴木, 祥之

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

https://waseda.repo.nii.ac.jp/?action=repository_action_common_download&item_id=16706&item_no=1&attribute_id=20&file_no=1

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

その他の情報