Filter
Conference Paper

Search results

  • 2022

    Coupling different integer encodings for SAT

    Bierlee, H., Gange, G., Tack, G., Dekker, J. J. & Stuckey, P. J., 2022, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022 Los Angeles, CA, USA, June 20–23, 2022 Proceedings. Schaus, P. (ed.). Cham Switzerland: Springer, p. 44-63 20 p. (Lecture Notes in Computer Science; vol. 13292).

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

  • 2018

    Solver-independent large neighbourhood search

    Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 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. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

    10 Citations (Scopus)