Report on SAT competition and Max-SAT evaluation

Hidetomo Nabeshima, Miyuki Koshimura, Mutsunori Banbara

研究成果: Contribution to journalArticle査読

本文言語英語
ページ(範囲)9-14
ページ数6
ジャーナルComputer Software
29
4
出版ステータス出版済み - 11 2012

All Science Journal Classification (ASJC) codes

  • ソフトウェア

引用スタイル