If you made any changes in Pure these will be visible here soon.

Research Output 2010 2018

  • 3 Article
  • 2 Conference Paper
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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

2013

Failure tabled constraint logic programming by interpolation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., 1 Jul 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 593-607 15 p.

Research output: Contribution to journalArticleResearchpeer-review

2011

MDD propagators with explanation

Gange, G., Stuckey, P. J. & Szymanek, R., 1 Oct 2011, In : Constraints. 16, 4, p. 407-429 23 p.

Research output: Contribution to journalArticleResearchpeer-review

2010

Fast set bounds propagation using a BDD-SAT hybrid

Gange, G., Stuckey, P. J. & Lagoon, V., 1 May 2010, In : Journal of Artificial Intelligence Research. 38, p. 307-338 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access