3 ms·Quick introduction into SAT/SMT solvers and symbolic execution [pdf]5 points by dennis714 9y ago