Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
小川徹 and 矢野明浩 and 越村三幸 and 藤田博 and 長谷川隆三,基数制約に基づくMaxSATソルバーにおける変数アクティビティ調整とその評価,第74回全国大会講演論文集,,,2012-03-06,2012,1,563-564,https://cir.nii.ac.jp/crid/1571417128040258816,