An algorithmic branch and bound method for PLA test pattern generation (1988)

by M Robinson, J Rajski
Venue:in Proc. Int. Test Con