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

Publication TypeConference Paper
Year of Publication1999
AuthorsBagnara R, Schachte P
EditorHaeberer AM
Conference NameProceedings of the ‘‘Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98)’’
PublisherSpringer-Verlag, Berlin
Conference LocationAmazonia, Brazil
ISBN Number3-540-65462-3
Keywordsabstract interpretation, constraint logic programming, groundness analysis, logic programming, mode analysis, software verification, static analysis
We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.