Report on SAT competition and Max-SAT evaluation

Hidetomo Nabeshima, Miyuki Koshimura, Mutsunori Banbara

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)9-14
Number of pages6
JournalComputer Software
Volume29
Issue number4
Publication statusPublished - Nov 1 2012

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Nabeshima, H., Koshimura, M., & Banbara, M. (2012). Report on SAT competition and Max-SAT evaluation. Computer Software, 29(4), 9-14.