MUSer2: An Efficient MUS Extractor, System Description
You are here
| Title | MUSer2: An Efficient MUS Extractor, System Description |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Belov A, Marques-Silva J |
| Journal | Journal on Satisfiability, Boolean Modeling and Computation |
| Date Published | 2012 |
| URL | http://ulir.ul.ie/handle/10344/2755 |
