ToySolver.SAT.PBO.BCD2

Reference:

• Federico Heras, Antonio Morgado, João Marques-Silva, Core-Guided binary search algorithms for maximum satisfiability, Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011. http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3713
• A. Morgado, F. Heras, and J. Marques-Silva, Improvements to Core-Guided binary search for MaxSAT, in Theory and Applications of Satisfiability Testing (SAT 2012), pp. 284-297. http://dx.doi.org/10.1007/978-3-642-31612-8_22 http://ulir.ul.ie/handle/10344/2771

Documentation

data Options

Options for BCD2 algorithm.

The default value can be obtained by def.

Constructors

Options

Fields

• optEnableHardening :: Bool
• optEnableBiasedSearch :: Bool
• optSolvingNormalFirst :: Bool

Instances

Default Options

Methods

def :: Options

solve :: Context cxt => cxt -> Solver -> Options -> IO ()