@misc{indiciae42f48410c3ed,
  title = {A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing},
  author = {Takaki, Mitsuo and Cavalcanti, Diego and Gheyi, Rohit and Iyoda, Juliano and dAmorim, Marcelo and Prudencio, Ricardo},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20100024470},
  note = {Source identifier: 20100024470}
}