Photo of Graeme Gange
 

View Scopus Profile

Graeme Gange

Dr

 https://orcid.org/0000-0002-1354-431X
20182019
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • constraint programming
  • verification
  • satisfiability
  • abstract interpretation

Projects 2018 2019

Towards reliability in combinatorial optimisation

Gange, G. K.

1/03/18 → 1/04/19

Project: Research

Research Output 2018 2018

  • 1 Conference Paper

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