Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Author:
Sandro Preto, Marcelo Finger©right=© The Author(s), 2022. Published by Cambridge University Press
Publication:
Mathematical Structures in Computer Science
Publisher:
Cambridge University Press
Copyright © 2022, Cambridge University Press