@inproceedings{inproceedingsc52df241,
title   = {Linking Łukasiewicz logic and boolean maximum satisfiability},
author = {Preto, Sandro and Manyà, Felip and Finger, Marcelo},
year = {2023},
doi = {10.1109/ISMVL57333.2023.00040},
publisher = {IEEE},
booktitle   = {International Symposium on Multiple-Valued Logic - ISMVL}
}