Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables

Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca

Graph domain variables and constraints are an extension of constraint programming introduced by Dooms et al. This approach had been further investigated by Fages in its PhD thesis.…