Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results - Complete solvers
Results - Incomplete solvers
Presentation
Benchmarks
Solvers
Organizers
|
Solvers
-
WMaxSatz+
:
Submitters: Josep Argelich
, Josep Argelich, Chu Min Li, Jordi Planes and Felip Manyà
Description
-
WMaxSatz09
:
Submitters: Josep Argelich
, Josep Argelich, Chu Min Li, Jordi Planes and Felip Manyà
Description
-
Sat4j (complete)
:
Submitters: Daniel Le Berre
, Daniel Le Berre
Description
Web page: http://www.sat4j.org/
-
akmaxsat_ls
:
Submitters: Adrian Kuegel
, Adrian Kügel
Description
Web page: http://www.uni-ulm.de/in/theo/m/kuegel
-
wbo1.6-cnf
:
Submitters: Ruben Martins
, Vasco Manquinho , Joao Marques-Silva, Jordi Planes, Ruben Martins
Description
Web page: http://sat.inesc-id.pt/~ruben/
-
wbo1.6
:
Submitters: Ruben Martins
, Vasco Manquinho , Joao Marques-Silva, Jordi Planes, Ruben Martins
Description
Web page: http://sat.inesc-id.pt/~ruben/
-
akmaxsat
:
Submitters: Adrian Kuegel
, Adrian Kügel
Description
Web page: http://www.uni-ulm.de/in/theo/m/kuegel
-
pwbo2.1
:
Submitters: Ruben Martins
, Ruben Martins, Vasco Manquinho, Ines Lynce
Description
Web page: http://sat.inesc-id.pt/~ruben/
-
ubcsat-irots
:
Submitters: Dave Tompkins
, Dave Tompkins (algorithm from Smyth, Hoos, Stützle 2003)
Description
Web page: http://ubcsat.dtompkins.com
-
pwbo2.0
:
Submitters: Ruben Martins
, Ruben Martins, Vasco Manquinho, Ines Lynce
Description
Web page: http://sat.inesc-id.pt/~ruben/
-
QMaxSAT0.21-g2.0
:
Submitters: Miyuki Koshimura
, Miyuki Koshimura, Xuanye An, Hiroshi Fujita, Ryuzo Hasegawa
Description
Web page: http://sites.google.com/site/qmaxsat/
-
maxsat2sat
:
Submitters: Peter Steinke
, Peter Steinke
Description
Web page: http://www.wv.inf.tu-dresden.de/People/Steinke.html
-
IUT_RR (Local Search)
:
Submitters: Reza Ramezani
, Reza Ramezani
Description
Web page: http://ramezani-cs.ugig.ir/
-
IUT_RR (Reorder Vars)
:
Submitters: Reza Ramezani
, Reza Ramezani
Description
Web page: http://ramezani-cs.ugig.ir/
-
ShinMaxSat
:
Submitters: Tomoya Tanjo
, Kengo Honjyo, Tomoya Tanjo
Description
-
QMaxSAT0.21
:
Submitters: Miyuki Koshimura
, Miyuki Koshimura, Xuanye An, Hiroshi Fujita, Ryuzo Hasegawa
Description
Web page: http://sites.google.com/site/qmaxsat/
|