Projects per year
Personal profile
Keywords
- constraint programming
- verification
- satisfiability
- abstract interpretation
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2008 2018
A fast and scalable algorithm for scheduling large numbers of devices under real-time pricing
He, S., Wallace, M., Gange, G., Liebman, A. & Wilson, C., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 649-666 18 p. (Lecture Notes in Computer Science ; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Optimal Sankey Diagrams via Integer Programming
Zarate, D. C., Bodic, P. L., Dwyer, T., Gange, G. & Stuckey, P., 2018, Proceedings - 2018 IEEE Pacific Visualization Symposium, PacificVis 2018: 10–13 April 2018 Kobe, Japan. Bruckner, S., Koyamada, K. & Lee, B. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 135-139 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Sequential precede chain for value symmetry elimination
Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Automatic logic-based benders decomposition with minizinc
Davies, T. O., Gange, G. & Stuckey, P. J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17): San Francisco, California, USA — February 04 - 09, 2017. Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 787-793 7 p. 1642Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Abstract interpretation over non-lattice abstract domains
Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 26 Sep 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. Springer, p. 6-24 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review