| Copyright | (c) Masahiro Sakai 2013 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.SAT.PBO.MSU4
Description
Reference:
- João P. Marques-Silva and Jordi Planes. Algorithms for Maximum Satisfiability using Unsatisfiable Cores. In Design, Automation and Test in Europe, 2008 (DATE '08). March 2008. pp. 408-413, doi:10.1109/date.2008.4484715. http://dx.doi.org/10.1109/date.2008.4484715 http://eprints.soton.ac.uk/265000/1/jpms-date08.pdf http://www.csi.ucd.ie/staff/jpms/talks/talksite/jpms-date08.pdf