ホーム

QMaxSAT: Q-dai MaxSAT Solver

Overview

QMaxSAT is a partial MaxSAT solver based on SAT solver MiniSat. The solver is available under the MIT licence.

QMaxSAT became a weighted partial MaxSAT solver in 2014.

News

[June 19, 2012]
              Version 0.21 became the winner of Partial Max-SAT(Crafted) category in Max-SAT 2012.
              Version 0.21 with glucose 2.0 became the winner of Partial Max-SAT(Industrial) category in Max-SAT 2012.
[June 23, 2011]
Version 0.4 became the winner of Partial Max-SAT (Industrial) category in Max-SAT 2011.
[July 16, 2010]
Version 0.1 became the winner of Partial Max-SAT (Industrial) category in Max-SAT 2010.

Download

Documents

Under construction

Technical Papers and Presentation Slides

  • Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, and Ryuzo Hasegawa. QMaxSAT: A Partial Max-SAT Solver.  JSATVol.8 (2012), system description, pages 95-100.
Miyuki Koshimura