Constrained image generation using binarized neural networks with decision procedures (Q1656604)

From MaRDI portal
Revision as of 21:26, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Constrained image generation using binarized neural networks with decision procedures
scientific article

    Statements

    title
    Constrained image generation using binarized neural networks with decision procedures (English)
    0 references
    author
    Svyatoslav Korneev
    0 references
    Nina Narodytska
    0 references
    Luca Pulina
    0 references
    Armando Tacchella
    0 references
    Mooly Sagiv
    0 references
    Nikolaj Bjørner
    0 references
    publication date
    10 August 2018
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68U10
    0 references
    68T05
    0 references
    68T20
    0 references
    zbMATH DE Number
    6916322
    0 references
    OpenAlex ID
    W2962938696
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1656604&oldid=31967706"
    Powered by MediaWiki