SAT approaches for solving the Staff Transfer Problem | IEEE Conference Publication | IEEE Xplore