@article{solvingmaxsatbysuccessivecallstoasat,
  title = {Solving MaxSAT by Successive Calls to a SAT Solver},
  author = {Mohamed El Halaby},
  year = {2016},
  eprint = {1603.03814},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1603.03814v1},
}