Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, InĂªs Lynce. On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. JSAT, 9:59-81, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.