Tadeusz Strzemecki

New Algorithms for Determining an Arbitrary Power of the Matrix of Dynamics of a Class of Digital Systems

Tadeusz Strzemecki, Yoshinao Aoki, 1983 .

Widening ROBDDs with Prime Implicants

Andy King, Tadeusz Strzemecki, Neil Kettle, 2006, TACAS.

A linear upper bound on the number of prime implicants

Tadeusz Strzemecki, 1993 .

Polynomial-time algorithms for generation of prime implicants

Tadeusz Strzemecki, Tadeusz Strzemecki, 1992, J. Complex..