docs/references.bib

   1 @article{DBLP:journals/tocl/CimattiGIRS18,
   2   author    = {Alessandro Cimatti and
   3                Alberto Griggio and
   4                Ahmed Irfan and
   5                Marco Roveri and
   6                Roberto Sebastiani},
   7   title     = {Incremental Linearization for Satisfiability and Verification Modulo
   8                Nonlinear Arithmetic and Transcendental Functions},
   9   journal   = {{ACM} Trans. Comput. Log.},
  10   volume    = {19},
  11   number    = {3},
  12   pages     = {19:1--19:52},
  13   year      = {2018},
  14   doi       = {10.1145/3230639},
  15   timestamp = {Fri, 09 Apr 2021 18:33:35 +0200},
  16   biburl    = {https://dblp.org/rec/journals/tocl/CimattiGIRS18.bib},
  17   bibsource = {dblp computer science bibliography, https://dblp.org}
  18 }
  19
  20
  21 @article{IEEE754,
  22   author={IEEE},
  23   journal={IEEE Std 754-2019 (Revision of IEEE 754-2008)},
  24   title={{IEEE Standard for Floating-Point Arithmetic}},
  25   year={2019},
  26   pages={1-84},
  27   doi={10.1109/IEEESTD.2019.8766229}
  28 }
  29
  30 @article{BansalBRT17,
  31   author    = {Kshitij Bansal and
  32                Clark W. Barrett and
  33                Andrew Reynolds and
  34                Cesare Tinelli},
  35   title     = {A New Decision Procedure for Finite Sets and Cardinality Constraints
  36                in {SMT}},
  37   journal   = {CoRR},
  38   volume    = {abs/1702.06259},
  39   year      = {2017},
  40   archivePrefix = {arXiv},
  41   eprint    = {1702.06259},
  42   timestamp = {Mon, 13 Aug 2018 16:47:11 +0200},
  43   biburl    = {https://dblp.org/rec/journals/corr/BansalBRT17.bib},
  44   bibsource = {dblp computer science bibliography, https://dblp.org}
  45 }
  46
  47 @inproceedings{MengRTB17,
  48   author    = {Baoluo Meng and
  49                Andrew Reynolds and
  50                Cesare Tinelli and
  51                Clark W. Barrett},
  52   editor    = {Leonardo de Moura},
  53   title     = {Relational Constraint Solving in {SMT}},
  54   booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
  55                Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  56   series    = {Lecture Notes in Computer Science},
  57   volume    = {10395},
  58   pages     = {148--165},
  59   publisher = {Springer},
  60   year      = {2017},
  61   doi       = {10.1007/978-3-319-63046-5_10},
  62   timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
  63   biburl    = {https://dblp.org/rec/conf/cade/MengRTB17.bib},
  64   bibsource = {dblp computer science bibliography, https://dblp.org}
  65 }
  66
  67 @inproceedings{ReynoldsISK16,
  68   author    = {Andrew Reynolds and
  69                Radu Iosif and
  70                Cristina Serban and
  71                Tim King},
  72   editor    = {Cyrille Artho and
  73                Axel Legay and
  74                Doron Peled},
  75   title     = {A Decision Procedure for Separation Logic in {SMT}},
  76   booktitle = {Automated Technology for Verification and Analysis - 14th International
  77                Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  78   series    = {Lecture Notes in Computer Science},
  79   volume    = {9938},
  80   pages     = {244--261},
  81   year      = {2016},
  82   doi       = {10.1007/978-3-319-46520-3_16},
  83   timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  84   biburl    = {https://dblp.org/rec/conf/atva/ReynoldsIS016.bib},
  85   bibsource = {dblp computer science bibliography, https://dblp.org}
  86 }
  87
  88 @inproceedings{ReynoldsB15,
  89   author    = {Andrew Reynolds and
  90                Jasmin Christian Blanchette},
  91   editor    = {Amy P. Felty and
  92                Aart Middeldorp},
  93   title     = {A Decision Procedure for (Co)datatypes in {SMT} Solvers},
  94   booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
  95                Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  96   series    = {Lecture Notes in Computer Science},
  97   volume    = {9195},
  98   pages     = {197--213},
  99   publisher = {Springer},
 100   year      = {2015},
 101   doi       = {10.1007/978-3-319-21401-6_13},
 102   timestamp = {Tue, 14 May 2019 10:00:39 +0200},
 103   biburl    = {https://dblp.org/rec/conf/cade/ReynoldsB15.bib},
 104   bibsource = {dblp computer science bibliography, https://dblp.org}
 105 }
 106
 107 @article{BarrettST07,
 108   author    = {Clark W. Barrett and
 109                Igor Shikanian and
 110                Cesare Tinelli},
 111   title     = {An Abstract Decision Procedure for a Theory of Inductive Data Types},
 112   journal   = {J. Satisf. Boolean Model. Comput.},
 113   volume    = {3},
 114   number    = {1-2},
 115   pages     = {21--46},
 116   year      = {2007},
 117   doi       = {10.3233/sat190028},
 118   timestamp = {Mon, 17 Aug 2020 18:32:39 +0200},
 119   biburl    = {https://dblp.org/rec/journals/jsat/BarrettST07.bib},
 120   bibsource = {dblp computer science bibliography, https://dblp.org}
 121 }