“…For instance, none of these methods can deal well with a binary node having four ternary parents, because this setting is already equivalent to 3 4 = 81 free optimization variables to be chosen, meaning a space of 2 81 possible solutions just locally on this node! On the other hand, approximate methods either are fast and provide no accuracy guarantee (Cano et al, 2007;da Rocha et al, 2003; or provide theoretical guarantees but are as slow as exact methods (Mauá et al, 2012a). Moreover, all these approximate methods are only capable of treating credal networks whose credal sets are specified by enumerating the extreme points, while a constraint-based specification still lacks any practical algorithm.…”