@inproceedings{demoura+:tacas08,
  author = {De Moura, Leonardo and Bj{\o}rner, Nikolaj},
  booktitle = {International conference on Tools and Algorithms for the Construction and Analysis of Systems},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  organization = {Springer},
  pages = {337--340},
  title = {Z3: An efficient SMT solver},
  year = {2008},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAccGFwZXJzL2RlbW91cmErdGFjYXMwOC1hLnBkZk8RAXwAAAAAAXwAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xVkZW1vdXJhK3RhY2FzMDgtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOy86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6ZGVtb3VyYSt0YWNhczA4LWEucGRmAAAOACwAFQBkAGUAbQBvAHUAcgBhACsAdABhAGMAYQBzADAAOAAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADlVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy9kZW1vdXJhK3RhY2FzMDgtYS5wZGYAABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEMAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABww==}
}