Skip to content

Research at St Andrews

University > Research portal > Research publications > Towards Lifted Encodings for Numeric Planning in Essence Pri...

Towards Lifted Encodings for Numeric Planning in Essence Prime

Research output: Contribution to conference › Paper › peer-review

Author(s)

Joan Espasa Arxer, Ian James Miguel, Mateu Villaret, Jordi Coll

School/Research organisations

Details

Original languageEnglish
Publication statusPublished - 30 Sep 2019
Additional links
EventThe 18th workshop on Constraint Modelling and Reformulation - Stamford, United States
Duration: 30 Sep 2019 → …
https://modref.github.io/ModRef2019.html

Workshop

WorkshopThe 18th workshop on Constraint Modelling and Reformulation
Abbreviated titleModRef 2019
CountryUnited States
CityStamford
Period30/09/19 → …
Internet address

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Exploiting incomparability in solution dominance: improving general purpose constraint-based mining

    Kocak, G., Akgun, O., Guns, T. & Miguel, I. J., 29 Aug 2020, ECAI 2020: 24th European Conference on Artificial Intelligence. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarín, A. & Lang, J. (eds.). Amsterdam: IOS Press, p. 331-338 8 p. (Frontiers in artificial intelligence and applications; vol. 325).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2. Discriminating instance generation from abstract specifications: a case study with CP and MIP

    Akgün, Ö., Dang, N., Miguel, I., Salamon, A. Z., Spracklen, P. & Stone, C., 2020, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings. Hebrard, E. & Musliu, N. (eds.). Cham: Springer, p. 41-51 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12296 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. CP2020-SRSMT

    Akgun, O. & Espasa Arxer, J., 2020

    Research output: Non-textual form › Software

  4. Effective encodings of constraint programming models to SMT

    Davidson, E., Akgun, O., Espasa Arxer, J. & Nightingale, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Simonis, H. (ed.). Springer, p. 143-159 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 12333 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5. Towards improving solution dominance with incomparability conditions: a case-study using Generator Itemset Mining

    Kocak, G., Akgün, Ö., Miguel, I. & Guns, T., 30 Sep 2019, The 18th workshop on Constraint Modelling and Reformulation (ModRef 2019), Proceedings. 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

ID: 261776874

Top