Verifying minimum stable circuit values

Chung Keung Poon. Verifying minimum stable circuit values. Inf. Process. Lett., 86(1):27-32, 2003. [doi]