Learning in the context of a formal calculus for the boolean satisfiability problem.

From International Center for Computational Logic

Revision as of 23:05, 28 November 2016 by Serge Stratan (talk | contribs) (Page created automatically by parser function on page Thema3492)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Learning in the context of a formal calculus for the boolean satisfiability problem.

project thesis by Robert Stelzmann

Supervisor -
Wissensverarbeitung
Start 2010

(Description available only in German) Unfortunately, there is no description available.

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Thema3492/en&oldid=22048"