MaxSAT Resolution with the Dual Rail Encoding

TitleMaxSAT Resolution with the Dual Rail Encoding
Publication TypeJournal Article
Year of Publication2018
AuthorsBonet, M. Luisa, S. Buss, A. Ignatiev, J. Marques-Silva, and A. Morgado