TitleMaxSAT-Based MCS Enumeration
Publication TypeConference Paper
Year of Publication2012
AuthorsMorgado A., Liffiton M., Marques-Silva J
Conference NameEighth Haifa Verification Conference (HVC 2012)Eighth Haifa Verification Conference (HVC 2012)
Date Published2012
Conference LocationHaifa, Israel
URLhttp://hdl.handle.net/10344/2901