External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Computer-Aided Way to Prove Theorems in Scheduling

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]

Authors

Sergey V. Sevastianov

This author has not been identified. Look up 'Sergey V. Sevastianov' in Google

I. D. Tchernykh

This author has not been identified. Look up 'I. D. Tchernykh' in Google
runs on