Tadeusz Strzemecki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Neil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119

1992

1 Tadeusz Strzemecki: Polynomial-time algorithms for generation of prime implicants. J. Complexity 8(1): 37-63 (1992)

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

Coauthor Index

1 Neil Kettle [2]

2 Andy King [2]