21 - Optimality
from Part IV - Beyond Bounds
Published online by Cambridge University Press: 25 March 2019
Summary
Keywords
- Type
- Chapter
- Information
- Proof Complexity , pp. 456 - 471Publisher: Cambridge University PressPrint publication year: 2019