Two problems-two solutions: one system-ECLIPSE
Mark G. Wallace, André Véron · 1993
This paper appears in the Proceedings of the IEE Colloquium on Advanced Software Technologies for Scheduling, London, April 1993 (based on extending one shift by a period of time, and reducing another by the same period). A solution was finally reached using an approach based on [3]. The approach is an extension of backchecking, and relies on the concept of a nogood environment in the ATMS. We now show how nogoods were programmed in ECL