[IEEE Comput. Soc International Conference on Computer Design. VLSI in Computers and Processors - Austin, TX, USA (5-7 Oct. 1998)] Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) - An exact solution to the minimum size test pattern problem