Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability - Preto, Sandro; Finger, Marcelo (Mathematical Structures in Computer Science, 2022)