@article{articled6758441,
title   = {Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability},
author = {Preto, Sandro and Finger, Marcelo},
year = {2022},
doi = {10.1017/S096012952200010X},
journal   = {Mathematical Structures in Computer Science}
}