TitleA SAT-Based Approach to MinSAT
Publication TypeConference Paper
Year of Publication2012
AuthorsAnsótegui C, Manyà F
Conference NameCCIA 2012
Pagination185-189