@phdthesis{us-3808,
  title = {A unifying framework for modeling and solving optimization problems},
  author = {Ionut D. Aron},
  year = {2007},
  url = {https://cs.brown.edu/research/pubs/theses/phd/2007/aron.pdf},
  researchr = {https://researchr.org/publication/us-3808},
  cites = {0},
  citedby = {0},
  school = {Brown University, USA},
}