The Proof Complexity of Linear Algebra (2002)

by Michael Soltys , Stephen Cook
Venue:IN SEVENTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS
Citations:17 - 6 self