adma_prep/constraint_programming.pdf