Author:Mark Reynolds

Publications
Genetic Algorithms for Scheduling and Optimization of Ore Train Networks Ghulam Mubashar Hassan and Mark Reynolds In:GCAI-2018. 4th Global Conference on Artificial Intelligence
A Genetic Algorithm for Truck Dispatching in Mining Wesley Cox, Tim French, Mark Reynolds and Lyndon While In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
A One-Pass Tree-Shaped Tableau for LTL+Past Nicola Gigante, Angelo Montanari and Mark Reynolds In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning