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