address paper pre-review comments

Author: alperaltuntas

paper/constraints.png

@@ -4,6 +4,7 @@ @inproceedings{de2008z3
   booktitle={International conference on Tools and Algorithms for the Construction and Analysis of Systems},
   pages={337--340},
   year={2008},
+  doi={10.1007/978-3-540-78800-3_24},
   organization={Springer}
 }
 
@@ -15,18 +16,10 @@ @article{danabasoglu2020community
   number={2},
   pages={e2019MS001916},
   year={2020},
+  doi={10.1029/2019MS001916},
   publisher={Wiley Online Library}
 }
 
-@misc{ipywidgets,
-  author = {Jupyter},
-  title = {ipywidgets: Interactive HTML Widgets for Jupyter Notebooks},
-  year = {2015},
-  publisher = {GitHub},
-  journal = {GitHub repository},
-  howpublished = {\url{https://github.com/jupyter-widgets/ipywidgets}},
-}
-
 @article{wu2021coupled,
   title={Coupled aqua and ridge planets in the community earth system model},
   author={Wu, Xiaoning and Reed, Kevin A and Wolfe, Christopher LP and Marques, Gustavo M and Bachman, Scott D and Bryan, Frank O},
@@ -35,6 +28,7 @@ @article{wu2021coupled
   number={4},
   pages={e2020MS002418},
   year={2021},
+  doi={10.1029/2020MS002418},
   publisher={Wiley Online Library}
 }
 
@@ -45,6 +39,7 @@ @article{polvani2017less
   volume={99},
   number={3},
   pages={15--16},
+  doi={10.1029/2017EO079417},
   year={2017}
 }
 
@@ -56,6 +51,7 @@ @article{maher2019model
   number={2},
   pages={250--280},
   year={2019},
+  doi={10.1029/2018RG000607},
   publisher={Wiley Online Library}
 }
 
@@ -67,13 +63,6 @@ @article{de2011satisfiability
   number={9},
   pages={69--77},
   year={2011},
+  doi={10.1145/1995376.1995394},
   publisher={ACM New York, NY, USA}
-}
-
-@book{biere2009handbook,
-  title={Handbook of satisfiability},
-  author={Biere, Armin and Heule, Marijn and van Maaren, Hans},
-  volume={185},
-  year={2009},
-  publisher={IOS press}
 }