@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},
}

@inproceedings{fmcad20,
  author       = {Aina Niemetz and
                  Mathias Preiner},
  title        = {Ternary Propagation-Based Local Search for more Bit-Precise Reasoning},
  booktitle    = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
                  Israel, September 21-24, 2020},
  pages        = {214--224},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_29},
  doi          = {10.34727/2020/ISBN.978-3-85448-042-6\_29},
  timestamp    = {Sun, 02 Oct 2022 16:01:27 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/NiemetzP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{fmsd17,
  author       = {Aina Niemetz and
                  Mathias Preiner and
                  Armin Biere},
  title        = {Propagation based local search for bit-precise reasoning},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {608--636},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0295-6},
  doi          = {10.1007/S10703-017-0295-6},
  timestamp    = {Fri, 13 Mar 2020 10:55:14 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/NiemetzPB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{cav24,
  author       = {Aina Niemetz and
                  Mathias Preiner and
                  Yoni Zohar},
  editor       = {Arie Gurfinkel and
                  Vijay Ganesh},
  title        = {Scalable Bit-Blasting with Abstractions},
  booktitle    = {Computer Aided Verification - 36th International Conference, {CAV}
                  2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14681},
  pages        = {178--200},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-65627-9\_9},
  doi          = {10.1007/978-3-031-65627-9\_9},
  timestamp    = {Fri, 02 Aug 2024 11:58:28 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NiemetzPZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{McMillan03,
  author       = {Kenneth L. McMillan},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {Interpolation and SAT-Based Model Checking},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_1},
  doi          = {10.1007/978-3-540-45069-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/McMillan03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{Pudlak97,
  author       = {Pavel Pudl{\'{a}}k},
  title        = {Lower Bounds for Resolution and Cutting Plane Proofs and Monotone
                  Computations},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {981--998},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275583},
  doi          = {10.2307/2275583},
  timestamp    = {Sun, 28 May 2017 13:21:52 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Pudlak97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
