@misc{miscfb3b612b,
title   = {An efficient algorithm for representing piecewise linear functions into logic},
author = {Preto, Sandro and Finger, Marcelo},
year = {2020},
doi = {10.1016/j.entcs.2020.08.009},
publisher = {Elsevier},
booktitle   = {International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020}
}