MaxSAT Resolution With the Dual Rail Encoding | Publicación