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: Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
- IUT_BCMB_Maxsatz, IUT_BCMB_LSMaxsatz (Abdorrahim Bahrami, Seyed Rasoul Mousavi, Kiarash Bazargan)
Categories: Unweighted MaxSat
- IUT_BCMB_WMaxsatz, IUT_BCMB_LSWMaxsatz (Seyed Rasoul Mousavi, Kiarash Bazargan, Abdorrahim Bahrami)
Categories: Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
- MsUncore (Joao Marques-Silva, Vasco Manquinho, Jordi Planes)
Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
- PM2 (Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy)
Categories: Unweighted MaxSat, Partial MaxSat
- WPM1 (Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy)
Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
- SAT4J MAXSAT (Daniel Le Berre)
Categories: Unweighted MaxSat, Partial MaxSat, Weighted MaxSat, Weighted Partial MaxSat
- WBO (Vasco Manquinho, Joao Marques-Silva, Jordi Planes)
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
|