Max-SAT 2008

Third Max-SAT Evaluation

List of submitted solvers

  • Clone (Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche)
    Categories: Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
  • IncMaxSatz (Han Lin, Kaile Su, Chu Min Li, Josep Argelich)
    Categories: Unweighted MaxSat
  • IncWMaxSatz (Han Lin, Kaile Su, Chu Min Li, Josep Argelich)
    Categories: Weighted MaxSat, Weighted Partial MaxSat
  • LB-SAT (Han Li, Kaile Su)
    Categories: Unweighted MaxSat
  • LB-PSAT (Han Li, Kaile Su)
    Categories: Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
  • MaxSatz (Chu Min Li, Felip Manya, Jordi Planes)
    Categories: Unweighted MaxSat
  • Maxsatzilla (Paulo Matos, Jordi Planes, Florian Letombe, Joao Marques-Silva)
    Categories: Unweighted MaxSat, Partial MaxSat
  • MiniMaxSAT (Federico Heras, Javier Larrosa, Albert Oliveras)
    Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
  • MSU1.2, MSU4.0 (Joao Marques-Silva, Jordi Planes)
    Categories: Unweighted MaxSat, Partial MaxSat
  • PMS (Felip Manya, Josep Argelich)
    Categories: Unweighted MaxSat, Partial MaxSat
  • SAT4J MAXSAT (Daniel Le Berre)
    Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
  • Toolbar3 (Simon de Givry, Federico Heras, Javier Larrosa)
    Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
  • W-MaxSatz (Chu Min Li, Felip Manya, Josep Argelich)
    Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
  • wmaxsatz_icss (Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li)
    Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
Last modified: August 4th, 2008.