@article{IEEE754,
  author  = {IEEE},
  journal = {IEEE Std 754-2019 (Revision of IEEE 754-2008)},
  title   = {{IEEE Standard for Floating-Point Arithmetic}},
  year    = {2019},
  pages   = {1-84},
  doi     = {10.1109/IEEESTD.2019.8766229}
}

@inproceedings{btor,
 author    = {Brummayer, Robert and Biere, Armin and Lonsing, Florian},
 title     = {{BTOR: Bit-precise Modelling of Word-level Problems for Model
              Checking}},
 booktitle = {Proceedings of the Joint Workshops of the 6th International
              Workshop on Satisfiability Modulo Theories and 1st International
              Workshop on Bit-Precise Reasoning},
 series    = {SMT '08/BPR '08},
 year      = {2008},
 isbn      = {978-1-60558-440-9},
 location  = {Princeton, New Jersey, USA},
 pages     = {33--38},
 numpages  = {6},
 doi       = {10.1145/1512464.1512472},
 acmid     = {1512472},
 publisher = {ACM},
 address   = {New York, NY, USA},
 keywords  = {arrays, bit-vectors, model checking, word-level format},
}

@inproceedings{btor2,
  author    = {Aina Niemetz and
               Mathias Preiner and
               Clifford Wolf and
               Armin Biere},
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {{Btor2 , BtorMC and Boolector 3.0}},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  pages     = {587--595},
  publisher = {Springer},
  year      = {2018},
  doi       = {10.1007/978-3-319-96145-3\_32},
  timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
}

@techreport{smtlib2,
  author      = {Clark Barrett and Pascal Fontaine and Cesare Tinelli},
  title       = {{The SMT-LIB Standard: Version 2.6}},
  institution =	{Department of Computer Science, The University of Iowa},
  year        = 2017,
  url         = {https://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf}
}

@techreport{aiger,
  author      = {Armin Biere and Keijo Heljanko and Siert Wieringa},
  title       = {{AIGER 1.9} And Beyond},
  series      = {FMV Technical Reports; 11/2},
  date        = {July 2011},
  institution = {Institute for Formal Models and Verification, Johannes Kepler
                 University, Altenbergerstr. 69, 4040 Linz, Austria},
  year        = {2011},
  doi         = {10.35011/fmvtr.2011-2},
}