Auflistung Nach Schlagwort "SAT" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-3 von 3

«
»

Computing Treewidth with Constraint Programming

Voboril, Florentina
115-126
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Manthey, Norbert; Peñaloza, Rafael; Rudolph, Sebastian
389-394
A Survey of Constraint Transformation Methods

Löffler, Sven; Becker, Ilja; Kroll, Franz; Hofstedt, Petra
1107-1120

Anzeige der Dokumente 1-3 von 3

«
»