Max-SAT 2014

Ninth Max-SAT Evaluation

Solvers

• toysat :
  Submitters: Masahiro Sakai , Masahiro Sakai
  Description
  Web page: https://github.com/msakai/toysolver


• toysat_ls :
  Submitters: Masahiro Sakai , Masahiro Sakai
  Description
  Web page: https://github.com/msakai/toysolver


• SAT4J MAXSAT INCOMPLETE :
  Submitters: Daniel Le Berre , Daniel Le Berre
  Description
  Web page: http://www.sat4j.org/


• SAT4J MAXSAT :
  Submitters: Daniel Le Berre , Daniel Le Berre
  Description
  Web page: http://www.sat4j.org/


• QMaxSAT-g2-pms :
  Submitters: Miyuki Koshimura , Miyuki Koshimura, Toru Ogawa, Hiroshi Fujita, Ryuzo Hasegawa
  Description
  Web page: https://sites.google.com/site/qmaxsat/


• QMaxSAT-g2-wpms :
  Submitters: Miyuki Koshimura , Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
  Description
  Web page: https://sites.google.com/site/qmaxsat/


• ISAC+2014 :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann
  Description
  


• pmifumax-0.9 :
  Submitters: Mikolas Janota , Mikolas Janota
  Description
  Web page: http://sat.inesc-id.pt/~mikolas/sw/mifumax


• wmifumax-0.9 :
  Submitters: Mikolas Janota , Mikolas Janota
  Description
  Web page: http://sat.inesc-id.pt/~mikolas/sw/mifumax


• scip-maxsat :
  Submitters: Masahiro Sakai , Masahiro Sakai
  Description
  Web page: https://github.com/msakai/scip-maxsat


• Eva500a :
  Submitters: Nina Narodytska , Nina Narodytska, Fahiem Bacchus
  Description
  


• Eva500b :
  Submitters: Nina Narodytska , Nina Narodytska, Fahiem Bacchus
  Description
  


• CCLS_to_akmaxsat :
  Submitters: Chuan Luo , Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu, Zhong Jie
  Description
  Web page: http://shaoweicai.net/MaxSAT.html


• Swcca_ms :
  Submitters: Chuan Luo , Shaowei Cai, Chuan Luo, Kaile Su
  Description
  Web page: http://shaoweicai.net/MaxSAT.html


• Dist :
  Submitters: Shaowei Cai , Shaowei Cai and Kaile