Chapman & Hall/CRC Studies in Informatics Series: Introduction to Mathematics of Satisfiability (PDF)
(Sprache: Englisch)
Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification,...
Leider schon ausverkauft
eBook
81.47 €
40 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Chapman & Hall/CRC Studies in Informatics Series: Introduction to Mathematics of Satisfiability (PDF)“
Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring the theoretical and practical aspects of satisfiability, Introduction to Mathematics of Satisfiability focuses on the satisfiability of theories consisting of propositional logic formulas. It describes how SAT solvers and techniques are applied to problems in mathematics and computer science as well as important applications in computer engineering.The book first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. It then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. One of the pioneers of answer set programming, the author shows how constraint satisfaction systems can be worked out by satisfiability solvers and how answer set programming can be used for knowledge representation.
Bibliographische Angaben
- Autor: Victor W. Marek
- 2009, 364 Seiten, Englisch
- ISBN-10: 1439801746
- ISBN-13: 9781439801741
- Erscheinungsdatum: 22.09.2009
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Chapman & Hall/CRC Studies in Informatics Series: Introduction to Mathematics of Satisfiability"
0 Gebrauchte Artikel zu „Chapman & Hall/CRC Studies in Informatics Series: Introduction to Mathematics of Satisfiability“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Chapman & Hall/CRC Studies in Informatics Series: Introduction to Mathematics of Satisfiability".
Kommentar verfassen