Alexander Nadel Anytime Algorithms for MaxSAT and Beyond. 1 2020 FMCAD https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_1 conf/fmcad/2020 db/conf/fmcad/fmcad2020.html#Nadel20