![]() |
@inproceedings{DBLP:conf/ictai/Castell96,
author = {Thierry Castell},
title = {Computation of Prime Implicates and Prime Implicants by
a Variant of the Davis and Putnam Procedure},
booktitle = {ICTAI},
year = {1996},
pages = {428-429},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-05-31 by Michael Ley (ley@uni-trier.de)