@misc{yurichev2018sat,
author = {Yurichev, Dennis},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
howpublished = {Online},
note = {https://sat-smt.codes/},
title = {{SAT/SMT by example}},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAccGFwZXJzL3l1cmljaGV2MjAxOHNhdC1hLnBkZk8RAXwAAAAAAXwAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xV5dXJpY2hldjIwMThzYXQtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOy86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6eXVyaWNoZXYyMDE4c2F0LWEucGRmAAAOACwAFQB5AHUAcgBpAGMAaABlAHYAMgAwADEAOABzAGEAdAAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADlVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy95dXJpY2hldjIwMThzYXQtYS5wZGYAABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEMAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABww==},
bdsk-url-1 = {https://yurichev.com/SAT_SMT.html}
}