Login / Signup
Tadeusz Strzemecki
Publication Activity (10 Years)
Years Active: 1992-2006
Publications (10 Years): 0
</>
Publications
</>
Neil Kettle
,
Andy King
,
Tadeusz Strzemecki
Widening ROBDDs with Prime Implicants.
TACAS
(2006)
Tadeusz Strzemecki
Polynomial-time algorithms for generation of prime implicants.
J. Complex.
8 (1) (1992)