Max-SAT 2013

Eighth Max-SAT Evaluation

Solvers

• maxsatz2013f :
  Submitters: Chumin Li , Chu-Min LI, Yanli LIU, Manya Felip, Zhu Zhu, Kun He
  Description
  


• MSUnCore :
  Submitters: Antonio Morgado , Joao Marques-Silva, Antonio Morgado, Federico Heras
  Description
  Web page: http://logos.ucd.ie/wiki/doku.php?id=msuncore


• qmaxsat2-pck1-2.2.0 :
  Submitters: Miyuki Koshimura , Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
  Description
  Web page: https://sites.google.com/site/qmaxsat/


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


• qmaxsat-0.21a-2.2.0 :
  Submitters: Miyuki Koshimura , Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
  Description
  Web page: http://sites.google.com/site/qmaxsat/


• ahmaxsat :
  Submitters: Andre Abrame , André Abramé and Djamal Habet
  Description
  


• optimax_incomplete :
  Submitters: Peter Steinke , Peter Steinke Norbert Manthey
  Description
  


• antom :
  Submitters: Tobias Schubert , Tobias Schubert, Sven Reimer, Matthias Sauer
  Description
  Web page: https://projects.informatik.uni-freiburg.de/projects/antom


• iraNovelty++ :
  Submitters: Andre Abrame , André Abramé and Djamal Habet
  Description
  


• optimax :
  Submitters: Peter Steinke , Peter Steinke Norbert Manthey
  Description
  


• optimax_no_inc :
  Submitters: Peter Steinke , Peter Steinke Norbert Manthey
  Description
  


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


• WMaxSatz09 :
  Submitters: Josep Argelich , Josep Argelich, Chu Min Li, Jordi Planes and Felip Manya
  Description
  


• WMaxSatz+ :
  Submitters: Josep Argelich , Josep Argelich, Chu Min Li, Jordi Planes and Felip Manya
  Description
  


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


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


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


• ckmax_small :
  Submitters: Chihiro Komaki , Chihiro Komaki
  Description
  


• CCLS :
  Submitters: Chuan Luo , Chuan Luo, Shaowei Cai, Zhong Jie and Kaile Su
  Description
  Web page: http://shaoweicai.net/research.html


• MaxHS-eval13 :
  Submitters: Jessica Davies , Jessica Davies and Fahiem Bacchus
  Description
  Web page: http://www.cs.toronto.edu/~jdavies/


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


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


• wbo2.1-cnf :
  Submitters: Ruben Martins , Vasco Manquinho, Ruben Martins, Inês Lynce, João Marques-Silva, Jordi Planes
  Description
  Web page: http://sat.inesc-id.pt/wbo/


• wbo2.11-wcnf :
  Submitters: Ruben Martins , Vasco Manquinho, Ruben Martins, Inês Lynce, João Marques-Silva, Jordi Planes
  Description
  Web page: http://sat.inesc-id.pt/wbo/


• WPM1-2013 :
  Submitters: Carlos Ansotegui , Carlos Ansotegui, Maria Luisa Bonet, Joel Gabas, Jordi Levy
  Description
  


• WPM2-2013 :
  Submitters: Carlos Ansotegui , Carlos Ansotegui, Maria Luisa Bonet, Joel Gabas, Jordi Levy
  Description
  


• ILP-2013 :
  Submitters: Carlos Ansotegui , Carlos Ansotegui, Maria Luisa Bonet, Joel Gabas, Jordi Levy
  Description
  


• WPM1-2011 :
  Submitters: Carlos Ansotegui , Carlos Ansotegui, Maria Luisa Bonet, Joel Gabas, Jordi Levy
  Description
  


• ISAC+ :
  Submitters: Carlos Ansotegui , Carlos Ansotegui, Joel Gabas, Yuri Malitsky, Meinolf Sellmann
  Description
  


• pwbo2.3-pms :
  Submitters: Ruben Martins , Ruben Martins, Vasco Manquinho, Inês Lynce
  Description
  Web page: http://sat.inesc-id.pt/pwbo/


• pwbo2.33-wpms :
  Submitters: Ruben Martins , Ruben Martins, Vasco Manquinho, Inês Lynce
  Description
  Web page: http://sat.inesc-id.pt/pwbo/


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


• A Hyper-Heuristic Approach for MAX-SAT :
  Submitters: Dalila Boughaci , Dalila Boughaci and Mourad Lassouaoui
  Description
  Web page: http://www.usthb.dz/


• toulbar2 :
  Submitters: Simon de Givry , David Allouche, Simon de Givry, Thomas Schiex
  Description
  Web page: https://mulcyber.toulouse.inra.fr/projects/toulbar2/