TítuloA SAT-Based Approach to MinSAT
Publication TypeConference Paper
Year of Publication2012
AuthorsAnsótegui C, Manyà F
Conference NameCCIA 2012
Paginación185-189