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]
@article{Martins0ML14,
title = {On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving},
author = {Ruben Martins and Saurabh Joshi 0001 and Vasco M. Manquinho and Inês Lynce},
year = {2014},
url = {https://satassociation.org/jsat/index.php/jsat/article/view/126},
researchr = {https://researchr.org/publication/Martins0ML14},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {9},
pages = {59-81},
}