Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Creignou-Zanuttini/06"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A complete classification of the complexity of propositional abduction Publikation auswählen
Nadia Creignou, Bruno Zanuttini

SIAM Journal on Computing 36 (1), 2006, pp. 207-229

Editors  E. Tardos
Publisher:  Society for Industrial and Applied Mathematics
Address:  Philadelphia, PA
 
Keywords:   abduction, propositional logic, complexity, boolean constraints
 
URL:   http://link.aip.org/link/?SMJ/36/207/1