I would appreciate recommendations for learning about SMT solvers. A good book, for instance?