# A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic

> doctoral thesis by Vincent Liew, Computer Science & Engineering, University of Washington, 2020

**Wikidata**: [Q113668400](https://www.wikidata.org/wiki/Q113668400)  
**Source**: https://4ort.xyz/entity/a-path-paved-by-proof-complexity-towards-verifying-nonlinear-integer-arithmetic


## References

1. WorldCat