Show simple item record

dc.contributor.authorGebser, Martin
dc.contributor.authorKaufmann, Benjamin
dc.contributor.authorSchaub, Torsten
dc.date.accessioned2017-05-03T12:56:31Z
dc.date.available2017-05-03T12:56:31Z
dc.date.issued2009
dc.date.modified2010-08-17T05:03:22Z
dc.identifier.issn03029743
dc.identifier.doi10.1007/978-3-642-04238-6_50
dc.identifier.urihttp://hdl.handle.net/10072/30342
dc.description.abstractWe summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp. Apart from enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, such as cautious and brave reasoning, optimization, solution projection, and incremental solving.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent108145 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeGermany
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom509
dc.relation.ispartofpageto514
dc.relation.ispartofjournalLecture Notes in Computer science
dc.relation.ispartofvolume5753
dc.rights.retentionY
dc.subject.fieldofresearchcode280301
dc.titleThe Conflict-Driven Answer Set Solver clasp: Progress Report
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.rights.copyright© 2009 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
gro.date.issued2009
gro.hasfulltextFull Text
gro.griffith.authorSchaub, Torsten


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record