Report on SAT competition and Max-SAT evaluation

Hidetomo Nabeshima, Miyuki Koshimura, Mutsunori Banbara

Research output: Contribution to journalArticlepeer-review

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

All Science Journal Classification (ASJC) codes

  • Software

Cite this