Moreno Falaschi;Maurizio Gabbrielli;Kim Marriott;Catuscia Palamidessi
-;-;-;-
Confluence and Semantics of Constraint Simplification Rules
Constraints
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology