Factorizing equivalent variable pairs in ROBDD-based implementations of Pos (1999)
Cached
Download Links
by
Roberto Bagnara
,
Peter Schachte
| Venue: | PROCEEDINGS OF THE “SEVENTH INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST’98)”, VOLUME 1548 OF LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 20 - 6 self |
BibTeX
@INPROCEEDINGS{Bagnara99factorizingequivalent,
author = {Roberto Bagnara and Peter Schachte},
title = {Factorizing equivalent variable pairs in ROBDD-based implementations of Pos},
booktitle = {PROCEEDINGS OF THE “SEVENTH INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST’98)”, VOLUME 1548 OF LECTURE NOTES IN COMPUTER SCIENCE},
year = {1999},
pages = {471--485},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 792 | Symbolic boolean manipulation with ordered binary decision diagrams - Bryant - 1992 |
| 55 | H.Søndergaard. Two classes of Boolean functions for dependency analysis - Armstrong, Marriott, et al. - 1998 |
| 1 | Printed as Report TD-1/97. [4] R. Bagnara and P. Schachte. Efficient implementation of Pos - Bigot, Debray, et al. - 1997 |
