大学情報データベース

トップ > 研究者検索 > 論文 > 業績詳細

業績詳細


【論文】

SAT問題を解くDPLLベースの探索法に対する改善手法
【全著者名】
長井 歩
【掲載雑誌名】
情報処理学会 数理モデルと問題解決研究会
【巻・号・頁】
63-11
【発表年月】
2007年
【単著、共著の別】
単著
【掲載雑誌種別】
学術雑誌
【論文の種別】
原著

【研究者】

長井 歩
【筆頭著者】
筆頭著者