@inbook{inbook, author = {Li, Chu-Min and ManyĆ , Felip and Soler, Joan Ramon and Vidal, Amanda}, year = {2021}, month = {10}, pages = {}, title = {From Non-Clausal to Clausal MinSAT}, isbn = {9781643682105}, doi = {10.3233/FAIA210113} }