Markus Robinson, Janusz Rajski. An Algorithmic Branch and Bound Method for PLA Test Pattern Generation. In Proceedings International Test Conference 1988, Washington, D.C., USA, September 1988. pages 784-795, IEEE Computer Society, 1988.
Abstract is missing.