TitleOn Solving MaxSAT Through SAT
Publication TypeConference Paper
Year of Publication2009
AuthorsAnsótegui C, Bonet MLuisa, Levy J
Conference NameProc. of the 12th Int. Conf. of the ACIA, CCIA'09
URLhttp://dx.doi.org/10.3233/978-1-60750-061-2-284
DOI10.3233/978-1-60750-061-2-284