Publications

The Optimisation team was formed recently by merging the Optimisation Platforms and Applications team and the Diagnosis and Planning team within the Optimisation and Risk Analytics group of Decision Sciences. This list of publications covers publications of members of both those teams over the last couple years, since the team’s creation in July 2016.

  1. Aziz, Haris; Gaspers, Serge; Najeebullah, Kamran, Weakening Covert Networks by Minimizing Inverse Geodesic Length, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’17), Melbourne, Australia, 2017
  2. Baumgartner, Peter; Schmidt, Renate, Blocking and Other Enhancements for Bottom-Up Model Generation Methods, Submitted (under revision) to Journal of Automated Reasoning, 2017.
  3. Baumgartner, Peter; Thiebaux, Sylvie; Trevizan, Felipe, Tableaux for Policy Synthesis for MDPs with PCTL* Constraints, Proceedings of 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’17), 2017.
  4. Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter James, Range-consistent forbidden regions of Allen’s relations, Proceedings of 14th International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR’17), Padova, Italy, 2017.
  5. Bertoli, Francesco; Kilby, Phil; Urli, Tommaso, A general and scalable column generation approach to fleet design for rich vehicle routing problem, submitted to European Journal of Operations Research, 2017.
  6. Bertoli, Francesco; Kilby, Phil; Urli, Tommaso, A column generation approach to fleet design for rich vehicle routing problem, Presented at the 24th National Conference of the Australian Society for Operational Research (ASOR’17), Canberra, Australia, 2017
  7. Christopher, Cody; Pencolé, Yannick; Grastien, Alban, Inference of fault signatures of discrete-event systems from event logs, Proceedings of 28th International Workshop on Principles of Diagnosis (DX’17), Brescia, Italy, 2017.
  8. Cui, Jing and Haslum, Patrik. Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty. In Proc. 26th International Conference on Automated Planning and Scheduling (ICAPS’17), 2017.
  9. Cui, Michael; Harabor, Daniel; Grastien, Alban, Compromise-free Pathfinding on a Navigation Mesh, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’17), Melbourne, Australia, 2017
  10. Feydy, Thibaut; Goldwaser, Adrian; Schutt, Andreas; Stuckey, Peter James; Young, Kenneth David, Priority Search with MiniZinc, Proceedings of the 16th International Workshop on Constraint Modelling and Reformulation (ModRef’17), Melbourne, Australia, 2017.
  11. Garcia-Flores Rodolfo; Banerjee, Soumya and Mathews, George. Using Optimisation and Machine Learning to Validate the Value of Infrastructure Investments. In: Tiryaki, G.F.; Mota dos Santos, A.L., editors. Infrastructure Investments: Politics, Barriers and Economic Consequences. New York: Nova Science Publishers; 2017. 137-182.
  12. Goldwaser, Adrian; Schutt, Andreas, Optimal Torpedo Scheduling, Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP’17), Melbourne Australia, 2017. Winner, Best Student Paper Award.
  13. Grastien, Alban; Scala, Enrico, Intelligent Belief State Sampling for Conformant Planning, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI’17), Melbourne, Australia, 2017
  14. Grastien, Alban; Travé-Massuyès, Louise; Puig, Vicenç, Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques, International Federation of Automatic Control World Congress (IFAC’17), Toulouse France 2017.
  15. Ibrahim, Hassan; Dague, Philippe; Grastien, Alban; Ye, Lina; Simon, Laurent, Diagnosability Planning for Controllable Discrete Event Systems, Proceedings of the American Association for Artificial Intelligence 2017 (AAAI’17), San Francisco, CA, USA, 2017
  16. Kilby, Phil; Popescu, Dan, Linear Complexity Algorithms for Visually Appealing Routes in the VRP, submitted to EURO Journal on Transportation and Logistics, 2017
  17. Kreter, Stefan; Schutt, Andreas; Stuckey, Peter James, Using Constraint Programming for Solving RCPSP/max-cal, To appear in Constraints, 2017
  18. Kreter, Stefan; Schutt, Andreas; Stuckey, Peter James; Zimmerman, Juergen, Mixed-Integer Linear Programming and Constraint Programming Formulations for Solving Resource Availability Cost Problems, To appear in European Journal of Operational Research, 2017.
  19. Lawrenson, Mark; Kilby, Phil; Urli, Tommaso; Sarker, Ruhul, Hybridising Constraint Programming and Genetic Algorithms to Solve Rich Vehicle Routing Problems, presented at the 24th National Conference of the Australian Society for Operational Research (ASOR’17), Canberra, Australia, 2017.
  20. Lawrenson, Mark; Urli, Tommaso; Kilby, Phil, A Model-Based Genetic Algorithm Framework for Constrained Optimisation Problems, presented at the Genetic and Evolutionary Computation Conference (GECCO’17), 2017.
  21. Mahéo, Arthur; Kilby, Philip; and Van Hentenryck, Pascal, Benders Decomposition for the Design of a Hub and Shuttle Public Transit System, to appear in Transportation Science, 2017.
  22. Maheo, Arthur; Urli, Tommaso; Kilby, Phil, Fleet Size and Mix Split-Delivery Vehicle Routing, submitted to EURO Journal on Transportation and Logistics, 2017
  23. Mak, Terrence; Van Hentenryck, Pascal; Hiskens, Ian A. A Nonlinear Optimization Model for Transient Stable Line Switching. The 2017 American Control Conference, Seattle, WA, USA 2017.
  24. Paam, Parichehr, Berretta, Regina; Heydar, Mojtaba; Middleton, Richard; Garcia-Flores, Rodolfo and Juliano, Pablo. Planning models to optimize the agri-fresh supply chain for food loss minimization: a review. Reference Module in Food Sciences, 1-16, 2016. http://dx.doi.org/10.1016/B978-0-08-100596-5.21069-X
  25. Petkovic, Karolina; Fox, Edward; Garcia-Flores, Rodolfo; Chandry, Scott; Sangwan, Parveen; and Sanguansri, Peerasak. A glimpse into the future: A Food Loss Bank for transforming the food supply? Food Australia. 2017; (Jan/Feb 2017):42-44.
  26. Popescu, Dan; Kilby, Phil, Approximation of the Shapley Value for the Euclidean TSG, Submitted to European Journal of Operational Research, 2017
  27. Scala, Enrico; Haslum, Patrik; Magazzeni, Daniele; and Thiébaux, Sylvie. Landmarks for Numeric Planning Problems. In Proc. 26th International Joint Conference on Artificial Intelligence (IJCAI’17), p. 4384-4390, 2017.
  28. Scala, Enrico; Haslum, Patrik ; Thiébaux, Sylvie; and Ramírez, Miquel. Interval-based Relaxation for General Numeric Planning. In Proc. 22nd European Conference on Artifical Intelligence (ECAI’16), p. 655-663, 2016.
  29. Schutt, Andreas; Stuckey, Peter James, Explaining Producer/Consumer Constraints, Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP’16), Toulouse, France, 2016.
  30. Szeredi, Ria; Schutt, Andreas, Modelling and Solving Multi-Mode Resource-Constrained Project Scheduling, Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP’16), Toulouse, France, 2016.
  31. Trevizan, Felipe; Thiébaux, Sylvie; and Haslum, Patrik. Occupation Measure Heuristics for Probabilistic Planning. In Proc. 26th International Conference on Automated Planning and Scheduling (ICAPS’17), 2017.
  32. Urli, Tommaso; Kilby, Phil, Scheduling a large fleet of rental vehicles using multi-neighbourhood local search, The 12th Metaheuristics International Conference (MIC 2017), Barcelona Spain, 2017.
  33. Young, Kenneth David; Feydy, Thibaut; Schutt, Andreas, Constraint Programming applied to the Multi-Skill Project Scheduling Problem, Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP’17), Melbourne Australia, 2017.