@misc{indiciae7b8e58c660a1,
  title = {Plato Analyze: GPU-based optimization in Plato.},
  author = {Robbins, Joshua},
  year = {2018},
  url = {https://www.osti.gov/biblio/1497554},
  note = {Source identifier: 1497554}
}