Alexander Nadel. Anytime Algorithms for MaxSAT and Beyond. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 1, IEEE, 2020. [doi]
@inproceedings{Nadel20-0,
title = {Anytime Algorithms for MaxSAT and Beyond},
author = {Alexander Nadel},
year = {2020},
doi = {10.34727/2020/isbn.978-3-85448-042-6_1},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_1},
researchr = {https://researchr.org/publication/Nadel20-0},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020},
publisher = {IEEE},
isbn = {978-3-85448-042-6},
}