The general employee scheduling problem. An integration of MS and AI