Mohamed El Halaby
Lecturer in Computer Science
Department of Mathematics, Faculty of Science, Cairo University (email)
Solving MaxSAT by Successive Calls to a SAT Solver
- Citation:
- Halaby, M. E., "Solving MaxSAT by Successive Calls to a SAT Solver", 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, London, UK, 2016.