Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)