Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Added link to MaRDI item.
 
links / mardi / namelinks / mardi / name
 

Latest revision as of 07:07, 7 March 2024

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