Job-shop scheduling using automated reasoning: a case study of the car-sequencing problem

  • Authors:
  • Bruce D. Parrello;Waldo C. Kabat;L. Wos

  • Affiliations:
  • Northwestern Univ., Evanston, IL;Northwestern Univ., Evanston, IL;Argonne National Laboratory, Argonne, IL

  • Venue:
  • Journal of Automated Reasoning
  • Year:
  • 1986

Quantified Score

Hi-index 0.02

Visualization

Abstract