Towards reliability in combinatorial optimisation

  • Gange, Graeme (Primary Chief Investigator (PCI))

    Project: Research

    • 9 Conference Paper
    • 2 Article
    Filter
    Conference Paper

    Search results

    • 2019

      Constraint programming for dynamic symbolic execution of JavaScript

      Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      8 Citations (Scopus)

    • Dissecting widening: separating termination from information

      Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Programming Languages and Systems : 17th Asian Symposium, APLAS 2019 Nusa Dua, Bali, Indonesia, December 1–4, 2019 Proceedings. Lin, A. W. (ed.). Cham Switzerland: Springer, p. 95-114 20 p. (Lecture Notes in Computer Science; vol. 11893 ).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    • Lazy CBS: implicit Conflict-based Search using Lazy Clause Generation

      Gange, G., Harabor, D. & Stuckey, P. J., 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., Smith, D. E. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 155-162 8 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 29).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      Open Access
      File
      38 Citations (Scopus)
    • 2018

      Propagating lex, find and replace with dashed strings

      Amadini, R., Gange, G. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 18-34 17 p. (Lecture Notes in Computer Science ; vol. 10848 ).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      6 Citations (Scopus)

    • Propagating regular membership with dashed strings

      Amadini, R., 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. 13-29 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      4 Citations (Scopus)

    • 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

      2 Citations (Scopus)

    • Sweep-based propagation for string constraint solving

      Amadini, R., Gange, G. & Stuckey, P. J., 2018, The Thirty-Second AAAI Conference on Artificial Intelligence. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6557-6564 8 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      Open Access
      File
      9 Citations (Scopus)
    • 2017

      A benders decomposition approach to deciding modular linear integer arithmetic

      Kafle, B., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (eds.). Cham Switzerland: Springer, p. 380-397 18 p. (Lecture Notes in Computer Science ; vol. 10491 ).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      1 Citation (Scopus)

    • Fixing the state budget: approximation of regular languages with small DFAs

      Gange, G., Ganty, P. & Stuckey, P. J., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings. D’Souza, D. & Narayan Kumar, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 10482 ).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

      6 Citations (Scopus)