You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
author={De Moura, Leonardo and Bj{\o}rner, Nikolaj},
4
+
booktitle={International conference on Tools and Algorithms for the Construction and Analysis of Systems},
5
+
pages={337--340},
6
+
year={2008},
7
+
organization={Springer}
8
+
}
9
+
10
+
@article{danabasoglu2020community,
11
+
title={The community earth system model version 2 (CESM2)},
12
+
author={Danabasoglu, Gokhan and Lamarque, J-F and Bacmeister, J and Bailey, DA and DuVivier, AK and Edwards, Jim and Emmons, LK and Fasullo, John and Garcia, R and Gettelman, Andrew and others},
13
+
journal={Journal of Advances in Modeling Earth Systems},
14
+
volume={12},
15
+
number={2},
16
+
pages={e2019MS001916},
17
+
year={2020},
18
+
publisher={Wiley Online Library}
19
+
}
20
+
21
+
@misc{ipywidgets,
22
+
author = {Jupyter},
23
+
title = {ipywidgets: Interactive HTML Widgets for Jupyter Notebooks},
title={Coupled aqua and ridge planets in the community earth system model},
32
+
author={Wu, Xiaoning and Reed, Kevin A and Wolfe, Christopher LP and Marques, Gustavo M and Bachman, Scott D and Bryan, Frank O},
33
+
journal={Journal of Advances in Modeling Earth Systems},
34
+
volume={13},
35
+
number={4},
36
+
pages={e2020MS002418},
37
+
year={2021},
38
+
publisher={Wiley Online Library}
39
+
}
40
+
41
+
@article{polvani2017less,
42
+
title={When less is more: Opening the door to simpler climate models, Eos, 98},
43
+
author={Polvani, LM and Clement, AC and Medeiros, B and Benedict, JJ and Simpson, IR},
44
+
journal={Eos, Transactions American Geophysical Union},
45
+
volume={99},
46
+
number={3},
47
+
pages={15--16},
48
+
year={2017}
49
+
}
50
+
51
+
@article{maher2019model,
52
+
title={Model hierarchies for understanding atmospheric circulation},
53
+
author={Maher, Penelope and Gerber, Edwin P and Medeiros, Brian and Merlis, Timothy M and Sherwood, Steven and Sheshadri, Aditi and Sobel, Adam H and Vallis, Geoffrey K and Voigt, Aiko and Zurita-Gotor, Pablo},
54
+
journal={Reviews of Geophysics},
55
+
volume={57},
56
+
number={2},
57
+
pages={250--280},
58
+
year={2019},
59
+
publisher={Wiley Online Library}
60
+
}
61
+
62
+
@article{de2011satisfiability,
63
+
title={Satisfiability modulo theories: introduction and applications},
64
+
author={De Moura, Leonardo and Bj{\o}rner, Nikolaj},
65
+
journal={Communications of the ACM},
66
+
volume={54},
67
+
number={9},
68
+
pages={69--77},
69
+
year={2011},
70
+
publisher={ACM New York, NY, USA}
71
+
}
72
+
73
+
@book{biere2009handbook,
74
+
title={Handbook of satisfiability},
75
+
author={Biere, Armin and Heule, Marijn and van Maaren, Hans},
0 commit comments