research materials on Satisfiability Checking