[BibTeX] [RIS]
Planning as Satisfiability
Type of publication: Inproceedings
Citation: kautz92ecai
Booktitle: ecai
Year: 1992
Userfields: date-added={2012-09-25 10:06:31 +0200}, date-modified={2012-09-25 10:06:31 +0200}, project={fremdliteratur},
Keywords:
Authors Kautz, H.
Selman, B.
Attachments
    Notes
      Topics