TitleComputing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
Publication TypeJournal Article
Year of Publication2012
AuthorsMarques-Silva J
JournalJournal of Multiple-Valued Logic and Soft Computing
Volume19
Date Published2012
URLhttp://logos.ucd.ie/wiki/lib/exe/fetch.php?media=papers:jpms-jmvlsc12.pdf