Skip to content

Research at St Andrews

Parallel Heuristic Search in Haskell

Research output: Chapter in Book/Report/Conference proceedingChapter

Details

Original languageEnglish
Title of host publicationTrends in Functional Programming 2
PublisherIntellect Books
Pages65-76
StatePublished - 2001

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

View graph of relations

Related by author

  1. Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 10 Aug 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  2. A review of literature on parallel constraint solving

    Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C. 2 Aug 2018 In : Theory and Practice of Logic Programming. First View, 34 p.

    Research output: Contribution to journalArticle

  3. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P. 13 Jul 2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W. 13 Jul 2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W. 15 Jun 2018 (Accepted/In press) Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 236461