TítuloOn Solving MaxSAT Through SAT
Publication TypeConference Paper
Year of Publication2010
AuthorsAnsótegui C, Bonet MLuisa, Levy J
Conference NameWorkshop on Pragmatics of SAT, POS-10
URLhttp://www.easychair.org/publications/?page=991445876