Sandro Preto

Available identifiers

zbMath Open preto.sandroMaRDI QIDQ1799079

List of research outcomes

Publication	Date of Publication	Type
Proving properties of binary classification neural networks via Łukasiewicz logic	2024-02-20	Paper
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability	2023-04-19	Paper
An efficient algorithm for representing piecewise linear functions into logic	2021-02-22	Paper
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics	2020-11-02	Paper
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic	2018-10-18	Paper

Research outcomes over time

This page was built for person: Sandro Preto