Dr Graeme Gange

  • Room: Level: 08 Room: 14
  • Building: Doug McDonell Building
  • Campus: Parkville

Personal webpage

http://ww2.cs.mu.oz.au/~ggange/

Recent publications

  1. Kafle B, Gange G, Schachte P, Sondergaard H, Stuckey PJ. A benders decomposition approach to deciding modular linear integer arithmetic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10491 LNCS.
  2. Amadini R, Gange G, Stuckey PJ, Tack G. A novel approach to string constraint solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10416 LNCS.
  3. Amadini R, Jordan A, Gange G, Gauthier F, Schachte P, Sondergaard H, Stuckey P, Zhang C. Combining string abstract domains for javascript analysis: An evaluation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10205 LNCS.
  4. De UÑa D, Gange G, Schachte P, Stuckey PJ. Minimizing landscape resistance for habitat conservation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10335 LNCS.
  5. De Una D, Gange G, Schachte P, Stuckey P. A Bounded Path Propagator on Directed Graphs. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  6. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. A complete refinement procedure for regular separability of context-free languages. THEORETICAL COMPUTER SCIENCE. Elsevier Science. 2016, Vol. 625.
  7. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. An Abstract Domain of Uninterpreted Functions. 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer Verlag. 2016, Vol. 9583. Editors: Jobstmann B, Leino KRM.
  8. Codish M, Gange G, Itzhakov A, Stuckey P. Breaking Symmetries in Graphs: The Nauty Way. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  9. Gange G, Stuckey P. Constraint propagation and explanation over novel types by abstract compilation. OpenAccess Series in Informatics. 2016, Vol. 52.
  10. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. Exploiting Sparsity in Difference-Bound Matrices. 23rd International Symposium on Static Analysis (SAS). Springer Verlag. 2016, Vol. 9837. Editors: Rival X.
  11. Yoghourdjian V, Dwyer T, Gange G, Kieffer S, Klein K, Marriott K. High-Quality Ultra-Compact Grid Layout of Grouped Networks. 10th IEEE Conference on Visual Analytics Science and Technology (VAST) / IEEE VIS Conference. IEEE - Institute of Electrical and Electronic Engineers. 2016, Vol. 22, Issue 1.
  12. Chu G, Gange G, Stuckey P. Lagrangian Decomposition via Sub-problem Search. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  13. Abio I, Gange G, Mayer-Eichberger V, Stuckey P. On CNF Encodings of Decision Diagrams. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  14. De UÑa D, Gange G, Schachte P, Stuckey P. Steiner tree problems with side constraints using constraint programming. 30th AAAI Conference on Artificial Intelligence (AAAI). 2016.
  15. De Una D, Gange G, Schachte P, Stuckey P. Weighted Spanning Tree Constraint with Explanations. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile