Max-SAT 2013

Eighth Max-SAT Evaluation

Submitted Benchmarks

• MC-net-based Coalition Structure Generation :
  Submitters: Miyuki Koshimura , Miyuki Koshimura
  Description
  


• packup-pms :
  Submitters: Alexey Ignatiev , Alexey Ignatiev, Ruben Martins, Mikoláš Janota
  Description
  


• packup-wpms :
  Submitters: Alexey Ignatiev , Alexey Ignatiev, Ruben Martins, Mikoláš Janota
  Description
  


• TPR :
  Submitters: Tobias Schubert , Matthias Sauer, Sven Reimer, Tobias Schubert
  Description
  


• DES :
  Submitters: Ruben Martins , Anbulagan and Alban Grastien
  Description
  


• preference_planning :
  Submitters: Ruben Martins , Farah Juma, Eric I. Hsu, Sheila A. McIlraith
  Description
  


• close_solutions :
  Submitters: Ruben Martins , Ignasi Abío and Peter J. Stuckey
  Description