Using OBDDs to Handle Dynamic Constraints

Fabrice Bouquet, Philippe Jégou. Using OBDDs to Handle Dynamic Constraints. Inf. Process. Lett., 62(3):111-120, 1997. [doi]

Abstract

Abstract is missing.