Mixed satisfiability tests for multiprocessor scheduling with release dates and deadlines.
scientific article; zbMATH DE number 2125889