Projects per year
Personal profile
Education/Academic qualification
Computer Science, Doctor of Philosophy, University of Melbourne
Award Date: 14 Mar 2013
Computer Science, Bachelor of Science (Degree with Honours), University of Melbourne
Award Date: 17 Dec 2008
Computer Science, Bachelor of Science, University of Melbourne
Award Date: 20 Dec 2007
Research area keywords
- constraint programming
- verification
- satisfiability
- abstract interpretation
Network
Projects
-
-
-
Improved Constraint Reasoning for Robust Multi-agent Path Planning
Stuckey, P., Harabor, D., Le Bodic, P., Gange, G. & Koenig, S.
1/01/20 → 31/12/22
Project: Research
-
Use of Electric Muscle Stimulation (EMS) to explore the transferring of physical expertise between pro-and novice-gamers
Knibbe, J., Gange, G. & Wilson, E.
1/07/19 → 18/10/19
Project: Research
-
Research output
-
Core-guided and core-boosted search for CP
Gange, G., Berg, J., Demirović, E. & Stuckey, P. J., 2020, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020 Vienna, Austria, September 21–24, 2020 Proceedings. Hebrard, E. & Musliu, N. (eds.). Cham Switzerland: Springer, p. 205-221 17 p. (Lecture Notes in Computer Science ; vol. 12296 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
1 Citation (Scopus) -
Core-guided model reformulation
Leo, K., Gange, G., Garcia De La Banda, M. & Wallace, M., 2020, Principles and Practice of Constraint Programming : 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 445-461 17 p. (Lecture Notes in Computer Science ; vol. 12333 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile -
Dashed strings and the REPLACE(-all) constraint
Amadini, R., Gange, G. & Stuckey, P. J., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 3-20 18 p. (Lecture Notes in Computer Science ; vol. 12333).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile1 Citation (Scopus) -
Dashed strings for string constraint solving
Amadini, R., Gange, G. & Stuckey, P. J., Dec 2020, In : Artificial Intelligence. 289, 31 p., 103368.Research output: Contribution to journal › Article › Research › peer-review
-
New techniques for pairwise symmetry breaking in Multi-Agent Path Finding
Li, J., Gange, G., Harabor, D., Stuckey, P. J., Ma, H. & Koenig, S., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. Christopher Beck, J., Buffet, O., Hoffmann, J., Karpas, E. & Sohrabi, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 193-201 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 30).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile1 Citation (Scopus)