[BibTeX] [RIS]
Conflict-Driven Answer Set Solving
Type of publication: Inproceedings
Citation: gekanesc07a
Year: to appear
Pages: 386-392
Crossref: ijcai07:
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), Veloso, M. (ed), AAAI Press/The MIT Press, 2007
Userfields: date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur},
Keywords:
Authors Gebser, M.
Kaufmann, B.
Neumann, A.
Schaub, T.
Attachments
    Notes
      Topics