Extends the capabilities of SAT and MIP solvers by exploiting both technologies in a hybrid manner.
MaxHS solves problems that are out of reach for both SAT solvers and MIP solvers.
Represent your optimization problem in propositional logic.
MaxSAT allows weighted clauses. MaxHS tries to find a model that maximizes the weight of satisfied clauses.
MaxSAT can naturally represent a range of optimization problems.
Use propositional variables to define properties of your domain. Express the optimization problem in terms of these properties.