Linear sifting of decision diagrams

Linear sifting of decision diagrams (1997)

by Christoph Meinel

Venue:	In Design Automation Conf
Citations:	17 - 5 self

Datum	Value	Source
TITLE	Linear sifting of decision diagrams	INFERENCE
AUTHOR NAME	Christoph Meinel	SVM HeaderParse 0.2
AUTHOR AFFIL	FB IV { Informatik, Universitat Trier	SVM HeaderParse 0.2
AUTHOR ADDR	D { 54286 Trier, Germany	SVM HeaderParse 0.2
ABSTRACT	We propose a new algorithm, called linear sifting, for the optimization of decision diagrams that combines the e-ciency of sifting andthepower of linear transformations. We showthatthenew algorithm is applicable to large examples, and thatinmany cases it leads to substantially more compact diagrams when compared to simple variable reordering. We showinwhat sense linear transformations complement variable reordering, and we discuss applications of the new technique to synthesis and veri cation. 1	SVM HeaderParse 0.2
YEAR	1997	INFERENCE
VENUE	In Design Automation Conf	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	202--207	INFERENCE
VOLUME	34	INFERENCE
CITATIONS	24 found	ParsCit 1.0