A SAT-based approach to solve the faculty course scheduling problem | IEEE Conference Publication | IEEE Xplore