On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, admin, Vasco Manquinho, Ines Lynce
Last updated on Nov 15, 2021
PDF Code DOI
Constraint Programming