@MastersThesis{suriana:meng-thesis:2016,
  title = "Fourier-Motzkin with Non-Linear Symbolic Constant Coefficients",
  author = "Patricia Suriana",
  month = "Feb",
  year = "2016",
  url = "https://commit.csail.mit.edu/papers/2016/suriana-meng-thesis.pdf",
  type = "M.Eng. Thesis",
  address = "Cambridge, MA",
  school = "Massachusetts Institute of Technology",
  keywords = "Tiramisu",
}