This repository contains the prototype MaxSAT solvers used in the paper: Ilario Bonacina, Jordi Levy, and Ion Mikel Liberal. Beyond Core-Guided MaxSAT. 29th International Conference on Theory and ...
Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. Article Views are the COUNTER-compliant sum of full text article downloads since ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results