Explaining alldifferent.

Nicholas Downing Thibaut Feydy Peter J. Stuckey

Published in: ACSC (2012)

Keyphrases

arc consistency
global constraints
generating explanations
probabilistic model
search algorithm
integrity constraints
binary constraints
generative model
xml documents
context aware