Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, António Morgado. MaxSAT Resolution With the Dual Rail Encoding. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 6565-6572, AAAI Press, 2018. [doi]
Abstract is missing.