Sergey V. Sevastianov, I. D. Tchernykh. Computer-Aided Way to Prove Theorems in Scheduling. In Gianfranco Bilardi, Giuseppe F. Italiano, Andrea Pietracaprina, Geppino Pucci, editors, Algorithms - ESA 98, 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings. Volume 1461 of Lecture Notes in Computer Science, pages 502-513, Springer, 1998. [doi]
Abstract is missing.