Introduction to mathematics of satisfiability - Marek, Victor W. 1943- (CRC Press [u.a.], 2009)