Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
You are here
| Title | Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Marques-Silva J |
| Journal | Journal of Multiple-Valued Logic and Soft Computing |
| Volume | 19 |
| Date Published | 2012 |
| URL | http://logos.ucd.ie/wiki/lib/exe/fetch.php?media=papers:jpms-jmvlsc12.pdf |
