Decision procedures : an algorithmic point of view
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer ,
c2008
|
| Subjects: |
Table of Contents:
- 1. Introduction and basic concepts
- 2. Decision procedures for propositional logic
- 3. Equality logoc and uniterpreted function
- 4. Decision procedures for equality logic and uninterpreted functions
- 5. Linear arithmetic
- 6. Bit vectors
- 7. Arrays
- 8. Pointer logic
- 9. Quantifield formulas
- 10. Deciding a combination of theories
- 11. Propositional encoding