470 search results - page 14 / 94 » Tabu Search for SAT |
83
Voted
WSC
2000
15 years 2 months ago
2000
Investigation of the performance and operation of complex systems in manufacturing or other environments, analytical models of these systems become very complicated. Because of th...
91
Voted
ECAIW
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we present a tabu approach for a version of the Sports League Scheduling Problem. The approach adopted is based on a formulation of the problem as a Constraint Satisf...
105
click to vote
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The problem of curriculum-based course timetabling is studied in this work. In addition to formally defining the problem, we present a hybrid solution algorithm (Adaptiv...
116
Voted
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
This paper deals with the generation of balanced incomplete block designs (BIBD), a hard constrained combinatorial problem with multiple applications. This problem is here formulat...
108
click to vote
IJAIT
2007
15 years 16 days ago
2007
In this paper, we study the unrelated parallel machine problem for minimizing the makespan, which is NP-hard. We used Simulated Annealing (SA) and Tabu Search (TS) with Neighborho...