MaxSAT Resolution With the Dual Rail Encoding.

Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joo Marques-Silva, Antnio Morgado

Browse the full AAAI paper archive.