Introduction
Important Dates
Rules
Machine Specifications
Results
Submitted Benchmarks
Submitted Solvers
Previous Evaluations
Organizers
|
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
|