Towards reliability in combinatorial optimisation

Research output

Research output per year 2017 2018 2019 2019

• 9 Conference Paper
• 2 Article

Research output per year

Research output per year

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

  An iterative approach to precondition inference using constrained Horn clauses

  Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.

  Research output: Contribution to journal › Article › Research › peer-review

  Open Access

  File
  10 Citations (Scopus)

• 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)

• Reference abstract domains and applications to string analysis

  Amadini, R., Gauthier, F., Schachte, P., Stuckey, P. J., Gange, G., Jordan, A., Søndergaard, H. & Zhang, C., 9 Feb 2018, In: Fundamenta Informaticae. 158, 4, p. 297-326 30 p.

  Research output: Contribution to journal › Article › Research › peer-review
  9 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)