Effective profiling of large scale combinatorial optimisation problems

Project: Research

Filter
Conference Paper

Search results

  • 2017

    Debugging unsatisfiable constraint models

    Leo, K. & Tack, G., 2017, Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017, Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham, Switzerland: Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    11 Citations (Scopus)
  • Prostate cancer focal brachytherapy: Improving treatment plan robustness using a convolved dose rate model

    Betts, J. M., Mears, C., Reynolds, H. M., Ebert, M. A. & Haworth, A., 2017, International Conference on Computational Science, ICCS 2017: 12-14 June 2017, Zurich, Switzerland. Koumoutsakos, P., Lees, M., Krzhizhanovskaya, V., Dongarra, J. & Sloot, P. (eds.). Amsterdam, Netherlands: Elsevier, p. 1522-1531 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • 2016

    Learning from learning solvers

    Shishmarev, M., Mears, C., Tack, G. & Garcia de la Banda, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Switzerland: Springer, p. 455-472 18 p. (Lecture Notes in Computer Science; vol. 9892 ).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    4 Citations (Scopus)
  • 2015

    Multi-pass high-level presolving

    Leo, K. & Tack, G., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Yang, Q. & Wooldridge, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 346-352 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    9 Citations (Scopus)