One implementation of PL prover algorithm
Tatjana Timotijević (2001)
Kragujevac Journal of Mathematics
Similarity:
Tatjana Timotijević (2001)
Kragujevac Journal of Mathematics
Similarity:
Jan Vinař (1966)
Kybernetika
Similarity:
Karel Čulík (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Nedeljko Ostojić, Dušan Starčević (2000)
The Yugoslav Journal of Operations Research
Similarity:
Peng Wuliang, Huang Min, Hao Yongping (2014)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Many real-world scheduling problems can be modeled as Multi-mode Resource Constrained Project Scheduling Problems (MRCPSP). However, the MRCPSP is a strong NP-hard problem and very difficult to be solved. The purpose of this research is to investigate a more efficient alternative based on ant algorithm to solve MRCPSP. To enhance the generality along with efficiency of the algorithm, the rule pool is designed to manage numerous priority rules for MRCPSP. Each ant is provided with an...
Vladimir Jovičić, Zora Konjović (1997)
The Yugoslav Journal of Operations Research
Similarity:
Krystyna Jerzykiewicz (1970)
Applicationes Mathematicae
Similarity: