Report on SAT Competition and Max-SAT Evaluation

• NABESHIMA Hidetomo

  University of Yamanashi

• KOSHIMURA Miyuki

  Kyushu University

• BANBARA Mutsunori

  Kobe University

Bibliographic Information

Other Title

• SAT / Max-SAT競技会参加記
• SAT/Max-SAT キョウギカイ サンカキ

Journal

• Computer Software

  Computer Software 29 (4), 4_9-4_14, 2012

  Japan Society for Software Science and Technology

Details

• CRID: 1390282679714840576
• NII Article ID: 10031077880
• NII Book ID: AN10075819
• DOI: 10.11309/jssst.29.4_9
• NDL BIB ID: 024078239
• ISSN: 02896540
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024078239
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN