no code implementations • 3 Jul 2018 • Anna L. D. Latour, Behrouz Babaki, Siegfried Nijssen
For the specific case of monotonic distributions, we suggest an alternative method for using CP in SCOP, based on the development of a new propagator; we show that this propagator is linear in the size of the OBDD, and has the potential to be more efficient than the decomposition method, as it maintains domain consistency.