“…Two main types of exact algorithms are developed for MaxSAT: SAT-based MaxSAT solvers (e.g., Morgado, Heras, Liffiton, Planes, & Marques-Silva, 2013;Ansótegui, Bonet, & Levy, 2013;Davies & Bacchus, 2013a;Ansótegui & Gabas, 2013;Morgado, Dodaro, & Marques-Silva, 2014;Martins, Joshi, Manquinho, & Lynce, 2014) that solve a MaxSAT instance by repeatedly calling a CDCL (Conflict-Driven Clause Learning) based SAT solver to solve a sequence of SAT problems, and the BnB MaxSAT solvers (e.g., Li, Manyà, & Planes, 2007;Kügel, 2010). The SAT-based MaxSAT solvers are particularly efficient to solve industrial MaxSAT problems, while the BnB MaxSAT solvers are particular efficient to solve the random MaxSAT problems.…”