Introduction to mathematics of satisfiability. (©2009)

• Record Type: Book
• Further Information: Note: Victor W. Marek.
• Other Names: Marek, Wiktor
• Contents: Sets, lattices, and Boolean algebras -- Introduction to propositional logic -- Normal forms of formulas -- The Craig lemma -- Complete sets of functors -- Compactness theorem -- Clausal logic and resolution -- Testing satisfiability -- Polynomial cases of SAT -- SAT, interger programming, and matrix algebra -- Coding runs of Turing machines, NP-completeness -- Computational knowledge representation with SAT -- getting started -- Knowledge representation and constraint satisfaction -- Answer set programming.
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2009
• Copyright Date: 2009
• Extent: 1 online resource (xiii, 350 pages), illustrations
• Subjects: 511.3; Propositional calculus; Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Propositional calculus; MATHEMATICS -- Infinity; MATHEMATICS -- Logic; Logic, Symbolic and mathematical; Propositional calculus; Electronic books
• Languages: English
• ISBNs: 9781439801741; 1439801746
• Related ISBNs: 9781439801673; 1439801673
• Notes: Note: Includes bibliographical references (pages 343-346) and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.