The following publications are possibly variants of this publication:
- Exploiting subproblem optimization in SAT-based MaxSAT algorithmsCarlos Ansótegui, Joel Gabàs, Jordi Levy. heuristics, 22(1):1-53, 2016. [doi]
- Improving degree-based variable ordering heuristics for solving constraint satisfaction problemsHongbo Li, Yanchun Liang, Ning Zhang, Jinsong Guo, Dong Xu, Zhanshan Li. heuristics, 22(2):125-145, 2016. [doi]
- Exact Max-SAT solvers for over-constrained problemsJosep Argelich, Felip Manyà. heuristics, 12(4-5):375-392, 2006. [doi]