@inproceedings{weko_109979_1,
   author	 = "小川徹 and 矢野明浩 and 越村三幸 and 藤田博 and 長谷川隆三",
   title	 = "基数制約に基づくMaxSATソルバーにおける変数アクティビティ調整とその評価",
   booktitle	 = "第74回全国大会講演論文集",
   year 	 = "2012",
   volume	 = "2012",
   number	 = "1",
   pages	 = "563--564",
   month	 = "mar"
}