On multiprocessor task scheduling using efficient state space search approaches
scientific article; zbMATH DE number 5073045