Full PseudoBoolean model for the car-sequencing problem + A bug in learning nogoods (method Mistral::Solver::learn_nogood()--not fixed yet)