Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305)

From MaRDI portal
Revision as of 07:07, 7 March 2024 by Import240305080351 (talk | contribs) (Added link to MaRDI item.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7676410
Language Label Description Also known as
English
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
scientific article; zbMATH DE number 7676410

    Statements

    Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (English)
    0 references
    0 references
    0 references
    19 April 2023
    0 references
    0 references
    function representation
    0 references
    Łukasiewicz infinitely-valued logic
    0 references
    rational McNaughton functions
    0 references
    piecewise linear functions
    0 references
    0 references
    0 references
    0 references