Tadeusz Strzemecki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Neil Kettle [2]
2Andy King [2]

Copyright © Fri Sep 5 16:23:00 2008 by Michael Ley (ley@uni-trier.de)