https://intlibrary.ir/download/theory-and-applications-of-satisfiability-testing:-58421/