2B. B. Parello, W. C. Kabat, L. Wos, Job-shop Scheduling Using Automated Reasoning: A Case Study of the Car Sequencing Problem[J]. Journal of Automated Reasoning, 1986, 2:1 - 42.
6M. Prandtstetter. Exact and Heuristic Methods for Solving the Car Sequencing Problem [ D]. Vienna University of Technology, Institute of Computer Graphics and Algorithms, August, 2005.