Register
Log In
Home
Browse Content
Advanced Search
About CRCnetBASE
Subject Collections
How to Subscribe
Librarian Resources
News & Events
Free Trial
About this Book
Search
Permalink
http://dx.doi.org/10.1201/9781439801741
Download to Citation Mgr
View Abstracts
Add to Bookshelf
Email
I
Front MatterAbstract - Hi-Res PDF (458 KB) - PDF w/links (459 KB)
1
Chapter 1. Sets, lattices, and Boolean algebrasAbstract - Hi-Res PDF (347 KB) - PDF w/links (347 KB)
11
Chapter 2. Introduction to propositional logicAbstract - Hi-Res PDF (998 KB) - PDF w/links (998 KB)
45
Chapter 3. Normal forms of formulasAbstract - Hi-Res PDF (580 KB) - PDF w/links (581 KB)
63
Chapter 4. The Craig lemmaAbstract - Hi-Res PDF (374 KB) - PDF w/links (374 KB)
73
Chapter 5. Complete sets of functorsAbstract - Hi-Res PDF (651 KB) - PDF w/links (652 KB)
93
Chapter 6. Compactness theoremAbstract - Hi-Res PDF (336 KB) - PDF w/links (337 KB)
101
Chapter 7. Clausal logic and resolutionAbstract - Hi-Res PDF (1011 KB) - PDF w/links (1011 KB)
133
Chapter 8. Testing satisfiability, finding satisfying assignmentAbstract - Hi-Res PDF (982 KB) - PDF w/links (982 KB)
165
Chapter 9. Polynomial cases of SATAbstract - Hi-Res PDF (1195 KB) - PDF w/links (1196 KB)
205
Chapter 10. Embedding SAT into integer programming and into matrix algebraAbstract - Hi-Res PDF (694 KB) - PDF w/links (694 KB)
227
Chapter 11. Coding runs of Turing machines, NP-completeness and related topicsAbstract - Hi-Res PDF (839 KB) - PDF w/links (840 KB)
253
Chapter 12. Computational knowledge representation with SAT – getting startedAbstract - Hi-Res PDF (974 KB) - PDF w/links (975 KB)
285
Chapter 13. Computational knowledge representation with SAT – handling constraint satisfactionAbstract - Hi-Res PDF (1054 KB) - PDF w/links (1055 KB)
321
Chapter 14. Answer set programming, an extension of Horn logicAbstract - Hi-Res PDF (603 KB) - PDF w/links (604 KB)
339
Chapter 15. ConclusionsAbstract - Hi-Res PDF (107 KB) - PDF w/links (107 KB)
343
ReferencesAbstract - Hi-Res PDF (144 KB) - PDF w/links (145 KB)
