1. Introduction to mathematics of satisfiability. (©2009) Other Names: Marek, Wiktor Record Type: Book Extent: 1 online resource (xiii, 350 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗