@misc{indiciaec61bf702adca,
  title = {Verification of Sigmoidal Artificial Neural Networks using iSAT},
  author = {Dominik Grundt and Sorin Liviu Jurj and Willem Hagemann and Paul Kröger and Martin Fränzle},
  year = {2022},
  doi = {10.4204/eptcs.361.6},
  url = {https://arxiv.org/abs/2207.06755},
  note = {Source identifier: 2207.06755}
}