Releases: fbacchus/MaxHS
2021 Evaluation Version
MaxHS version entered in the the 2021 MaxSat Evaluation.
The main change from 2020 is moving from minisat to Armin Biere's cadical sat solver.
This move was motivated by (a) the increasing size of maxsat instances being submitted
to the evaluation and (b) the more difficult sat solving episodes caused by abstract cores.
2020 Evaluation Version
MaxHS version that entered the 2020 MaxSat evaluation. Its main new feature is its use
of abstract cores. Abstract cores are explained in the paper
Abstract Cores in Implicit Hitting Set MaxSat Solving. SAT 2020: 277-294
Jeremias Berg, Fahiem Bacchus, Alex Poole
MaxHS V3.2
MaxHS version that was entered into the 2019 Maxsat evaluation. Its main feature changes are
a) updated handling of assumptions in minisat following
Randy Hickey, Fahiem Bacchus:
Speeding Up Assumption-Based SAT. SAT 2019: 164-182
b) option for using glucose as the underlying sat solver.