Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results
Presentation
Benchmarks
Solvers
Organizers
|
Solvers
-
akmaxsat
:
Submitters: Adrian Kuegel
, Adrian Kuegel
Web page: http://www.uni-ulm.de/in/theo/mitarbeiter/kuegel.html
-
QMaxSAT version 0.11
:
Submitters: Miyuki Koshimura
, Miyuki Koshimura, Xuanye An, Hiroshi Fujita, Ryuzo Hasegawa
-
clasp
:
Submitters: Benjamin Kaufmann
, Benjamin Kaufmann
Web page: http://www.cs.uni-potsdam.de/clasp/
-
akmaxsat_ls
:
Submitters: Adrian Kuegel
, Adrian Kuegel
Web page: http://www.uni-ulm.de/in/theo/mitarbeiter/kuegel.html
-
QMaxSAT version 0.4
:
Submitters: Miyuki Koshimura
, Miyuki Koshimura, Xuanye An, Hiroshi Fujita, Ryuzo Hasegawa
-
IncMaxSatz
:
Submitters: Han Lin
, Han Lin, Kaile Su, Chu Min Li
Web page: http://www.cs.sysu.edu.cn/~lh/
-
IncWMaxSatz
:
Submitters: Han Lin
, Han Lin, Kaile Su, Chu Min Li, Josep Argelich
Web page: http://www.cs.sysu.edu.cn/~lh/
-
wbo1.6-cnf
:
Submitters: Ruben Martins
, Vasco Manquinho , Joao Marques-Silva, Jordi Planes, Ruben Martins
Web page: http://sat.inesc-id.pt/~vmm/
-
pwbo1.0
:
Submitters: Ruben Martins
, Ruben Martins, Vasco Manquinho, Inês Lynce
Web page: http://sat.inesc-id.pt/~vmm/
-
pwbo1.1
:
Submitters: Ruben Martins
, Ruben Martins, Vasco Manquinho, Inês Lynce
Web page: http://sat.inesc-id.pt/~vmm/
-
wbo1.6
:
Submitters: Ruben Martins
, Vasco Manquinho , Joao Marques-Silva, Jordi Planes, Ruben Martins
Web page: http://sat.inesc-id.pt/~vmm/
-
borg-max-sat-11.03.25
:
Submitters: Bryan Silverthorn
, Bryan Silverthorn and Risto Miikkulainen
Web page: http://nn.cs.utexas.edu/pages/research/borg/
-
sat4j maxsat
:
Submitters: Daniel Le Berre
, Daniel Le Berre
Web page: http://www.sat4j.org/
-
WMaxSatz-2009
:
Submitters: Josep Argelich
, Josep Argelich, Chu Min Li, Jordi Planes and Felip Manyà
Web page: http://www.laria.u-picardie.fr/~cli/
-
WMaxSatz+
:
Submitters: Josep Argelich
, Josep Argelich, Chu Min Li, Jordi Planes and Felip Manyà
Web page: http://www.laria.u-picardie.fr/~cli/
-
IUT_RHKG
:
Submitters: Reza Ramezani
, Leader: Dr.Sayed Rasoul Mousavi
Developers:
Reza Ramezani (R.Ramezani@ec.iut.ac.ir)
Ebrahim Hosseinkhani
Mohammad Khosravi
Arash Givchi
Web page: http://MaxSat.SinaSun24.Com/Default.aspx
-
PM2
:
Submitters: Carlos Ansotegui
, Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy
-
WPM1
:
Submitters: Carlos Ansotegui
, Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy
-
WPM2
:
Submitters: Carlos Ansotegui
, Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy
|