Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
From MaRDI portal
Publication:5889305
DOI10.1017/S096012952200010XMaRDI QIDQ5889305
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
piecewise linear functions; function representation; Łukasiewicz infinitely-valued logic; rational McNaughton functions
68-XX: Computer science
Uses Software