Mixed-integer/linear and constraint programming approaches for activity scheduling in a nuclear research facility. Issue 23 (1st December 2020)