MaxSAT Resolution With the Dual Rail Encoding

Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.

Copyright © 2018 Association for the Advancement of Artificial Intelligence. All Rights Reserved.