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