M. L. Bonet, S. Buss, A. Ignatiev, J. Marques-Silva, and A. Morgado, “MaxSAT Resolution With the Dual Rail Encoding”, AAAI, vol. 32, no. 1, Apr. 2018.