2006 | ||
---|---|---|
2 | EE | Neil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119 |
1992 | ||
1 | EE | Tadeusz Strzemecki: Polynomial-time algorithms for generation of prime implicants. J. Complexity 8(1): 37-63 (1992) |
1 | Neil Kettle | [2] |
2 | Andy King | [2] |