85
Voted
PUK
2000
15 years 8 days ago
2000
Abstract. In this paper we study traditional and enhanced BDDbased exploration procedures capable of handling large planning problems. On the one hand, reachability analysis and mo...
76
Voted
PUK
2000
15 years 8 days ago
2000
73
Voted
PUK
2000
15 years 8 days ago
2000
Scheduling problems are usually treated within single plant environments or within companies with several production locations. Due to the globalization of markets companies can no...