| Copyright | (c) Masahiro Sakai 2014 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.SAT.PBO.BCD
Description
- 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. https://doi.org/10.1007/978-3-642-31612-8_22 http://ulir.ul.ie/handle/10344/2771