| 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.BC
Description
Core-Guided binary search algorithm.
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