Bonet, M. L.; Buss, S.; Ignatiev, A.; Marques-Silva, J.; Morgado, A. MaxSAT Resolution With the Dual Rail Encoding. AAAI 2018, 32.