dc.contributor.author | Gebser, Martin | |
dc.contributor.author | Kaufmann, Benjamin | |
dc.contributor.author | Neumann, Andre | |
dc.contributor.author | Schaub, Torsten | |
dc.date.accessioned | 2017-05-03T11:59:40Z | |
dc.date.available | 2017-05-03T11:59:40Z | |
dc.date.issued | 2007 | |
dc.date.modified | 2008-05-22T07:09:06Z | |
dc.identifier.issn | 03029743 | |
dc.identifier.uri | http://hdl.handle.net/10072/19005 | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Germany | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofpagefrom | 136 | |
dc.relation.ispartofpageto | 148 | |
dc.relation.ispartofjournal | Lecture Notes in Computer science | |
dc.relation.ispartofvolume | 4483 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280399 | |
dc.title | Conflict-driven answer set enumeration | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
gro.date.issued | 2007 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Schaub, Torsten | |