Wissenschaftliche Texte zu CNF

2 Veröffentlichungen

Finding all Solutions to a CNF. The DualSat SAT Solver

Autor:in: Elmar Stellnberger (Autor:in)

Fach: Informatik - Angewandte Informatik

Kategorie: Masterarbeit , 2020 66 Seiten , Note: Sehr gut

Katalognummer: 1022264

Preis: US$ 34,99
Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung

Autor:in: Lea Kristin Gerling (Autor:in)

Fach: Informatik - Internet, neue Technologien

Kategorie: Seminararbeit , 2015 34 Seiten

Katalognummer: 335400

Preis: US$ 18,99