Title of article :
Using OBDDs to handle dynamic constraints
Author/Authors :
Fabrice Bouquet، نويسنده , , Philippe Jégou، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1997
Keywords :
Constraint satisfaction , constraint logic programming , Ordered Binary Decision Diagrams , Dynamic constraints , Algorithms
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters