• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Book chapters
    • View Item
    • Home
    • Griffith Research Online
    • Book chapters
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Experiences Running a Parallel Answer Set Solver on Blue Gene

    Thumbnail
    View/Open
    62785_.pdf (184.2Kb)
    Author(s)
    Schneidenbach, Lars
    Schnor, Bettina
    Gebser, Martin
    Kaminski, Roland
    Kaufmann, Benjamin
    Schaub, Torsten
    Griffith University Author(s)
    Schaub, Torsten
    Year published
    2009
    Metadata
    Show full item record
    Abstract
    This paper presents the concept of parallelisation of a solver for Answer Set Programming (ASP). While there already exist some approaches to parallel ASP solving, there was a lack of a parallel version of the powerful clasp solver. We implemented a parallel version of clasp based on message-passing. Experimental results on Blue Gene P/L indicate the potential of such an approach.This paper presents the concept of parallelisation of a solver for Answer Set Programming (ASP). While there already exist some approaches to parallel ASP solving, there was a lack of a parallel version of the powerful clasp solver. We implemented a parallel version of clasp based on message-passing. Experimental results on Blue Gene P/L indicate the potential of such an approach.
    View less >
    Book Title
    Recent Advances in Parallel Virtual Machine and Message Passing Interface
    Publisher URI
    https://www.springer.com/gp/book/9783642037696
    DOI
    https://doi.org/10.1007/978-3-642-03770-2_13
    Copyright Statement
    © 2009 Springer. The attached file is reproduced here in accordance with the copyright policy of the publisher. Use hypertext link for access to the publisher's website.
    Publication URI
    http://hdl.handle.net/10072/30236
    Collection
    • Book chapters

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander