@phdthesis{torlak:phd09-models-cores,
  author = {Torlak, Emina},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/phd/ndltd/Torlak09.bib},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
  timestamp = {Fri, 12 May 2017 13:30:20 +0200},
  title = {A constraint solver for software engineering: finding models and cores of large relational specifications},
  year = {2009},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAlcGFwZXJzL3Rvcmxha3BoZDA5LW1vZGVscy1jb3Jlcy1hLnBkZk8RAZ4AAAAAAZ4AAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////x50b3JsYWtwaGQwOS1tb2RlbHMtY29yZXMtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIARC86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6dG9ybGFrcGhkMDktbW9kZWxzLWNvcmVzLWEucGRmAA4APgAeAHQAbwByAGwAYQBrAHAAaABkADAAOQAtAG0AbwBkAGUAbABzAC0AYwBvAHIAZQBzAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAQlVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL3Rvcmxha3BoZDA5LW1vZGVscy1jb3Jlcy1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABMAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAe4=},
  bdsk-url-1 = {http://hdl.handle.net/1721.1/46789}
}