Media type: E-Article Title: Verification of sigmoidal Artificial Neural Networks using iSAT Contributor: Grundt, Dominik [Author]; Jurj, Sorin Liviu [Author]; Hagemann, Willem [Author]; Kröger, Paul [Author]; Fränzle, Martin [Author] Published: 2022 Published in: Electronic proceedings in theoretical computer science ; 361(2022), Seite 45-60 Language: English DOI: 10.48550/arXiv.2207.06755 Identifier: Origination: Footnote: Access State: Open Access