Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- Acknowledgments
- Contributors
- Acronyms and Abbreviations
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Part I Algebraic Structures
- Part II Logic
- 3 Proof Theory
- 4 Probabilistic Analysis of Satisfiability Algorithms
- 5 Optimization Methods in Logic
- Part III Learning Theory and Cryptography
- Part IV Graph Representations and Efficient Computation Models
- Part IV Applications in Engineering
5 - Optimization Methods in Logic
from Part II - Logic
Published online by Cambridge University Press: 05 June 2013
- Frontmatter
- Contents
- Preface
- Introduction
- Acknowledgments
- Contributors
- Acronyms and Abbreviations
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Part I Algebraic Structures
- Part II Logic
- 3 Proof Theory
- 4 Probabilistic Analysis of Satisfiability Algorithms
- 5 Optimization Methods in Logic
- Part III Learning Theory and Cryptography
- Part IV Graph Representations and Efficient Computation Models
- Part IV Applications in Engineering
Summary

- Type
- Chapter
- Information
- Publisher: Cambridge University PressPrint publication year: 2010