Factorizing Equivalent Variable Pairs in {ROBDD}-Based Implementations of {Pos}

Title
Publication Type	Conference Paper
Year of Publication	1999
Authors	Bagnara R, Schachte P
Editor	Haeberer AM
Conference Name	Proceedings of the ‘‘Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98)’’
Publisher	Springer-Verlag, Berlin
Conference Location	Amazonia, Brazil
ISBN Number	3-540-65462-3
Keywords	abstract interpretation, constraint logic programming, groundness analysis, logic programming, mode analysis, software verification, static analysis
DOI	10.1007/3-540-49253-4_33