Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Parameterizing a Groundness Analysis of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Quadtrees as an Abstract Domain
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |