| Titolo | Factorizing Equivalent Variable Pairs in {ROBDD}-Based Implementations of {Pos} |
| 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 |
| Parole chiave | abstract interpretation, constraint logic programming, groundness analysis, logic programming, mode analysis, software verification, static analysis |
| DOI | 10.1007/3-540-49253-4_33 |
| Refereed Designation | Refereed |
