@conference {109445,
	title = {Solving MaxSAT by Successive Calls to a SAT Solver},
	booktitle = { In Proceedings of SAI Intelligent Systems Conference (IntelliSys 2016). Springer International Publishing. Pages: 428-452. DOI: https://doi.org/10.1007/978-3-319-56994-9_31. ISBN: 978-3-319-56994-9},
	year = {2016},
	address = {London, UK},
	author = {Mohamed El Halaby}
}
