Drexl và Kimms [DK01] đã đề xuất một mô hình quy hoạch số nguyên cho phiên bản ra quyết định về bài toán trình tự xe. Mô hình này dựa trên biến Cij (là 0 hoặc 1) kết hợp với mỗi lớp xe i và từng vị trí j-để quyết định xem xe tại vị trí j là của lớp i. Ràng buộc tuyến tính đảm bảo rằng (i) chính xác một lớp xe đƣợc gán cho mỗi vị trí, (ii) tất cả các xe của từng loại đƣợc giao cho một vị trí, và (iii) các tất cả ràng buộc dung lƣợng pk / qkthỏa mãn cho mỗi lựa chọn k. Bài toán trình tự xe đƣợc trộn với một bài toán lập lịch, trong đó xem xét các mục tiêu giảm thiểu tổng độ lệch của thời gian xe dự kiến từ những ý tƣởng. Do đó bài toán đƣợc coi là bài toán trình tự xe với khả năng ràng buộc cứng và mục tiêu là cấp độ lập lịch. Một mô hình quy hoạch số nguyên thứ hai đƣợc đề xuất, dựa trên một số mũ của biến 0-1 yk trong đó yk = 1 nếu chuỗi k đƣợc chọn, trong đó một trình tự có liên quan đến một lớp xe, cho vị trí của các xe thuộc lớp này. Giới hạn trên và dƣới đƣợc tính toán thông qua một phƣơng pháp thế hệ cột. Kết quả tính toán đƣợc trình bày trên một tập hợp các trƣờng hợp tạo ra.
Gravel và cộng sự. [GGP05] đã đề xuất một mô hình quy hoạch số nguyên cho bài toán trình tự xe với khả năng ràng buộc mềm. Mô hình này liên kết biến Cij đã đƣợc sử dụng trong [DK01] và biến Ykj 0-1 cho mỗi lựa chọn k và mỗi vị trí j-để quyết định xem trình tự con có độ dài qk bắt đầu từ vị trí k đáp ứng các ràng buộc dung lƣợng là pk / qk. Ràng buộc tuyến tính đƣợc xác định để đảm bảo rằng các biến Ykj đƣợc gán là một nếu và chỉ nếu trình tự con tƣơng ứng vi phạm các ràng buộc. Mục tiêu là để giảm thiểu tổng của tất cả các biến Ykj. Xây dựng chƣơng trình nguyên này cho phép tác giả tìm giải pháp khả thi cho tất cả các trƣờng hợp của các bộ thử nghiệm đƣợc cung cấp bởi Lee [ W98] trong CSP ib, và 4 trƣờng hợp của các bộ thử nghiệm đƣợc cung cấp bởi Smith. Tuy nhiên, nó không thể chứng minh tối ƣu cho 5 trƣờng hợp khác.