Textes scientifiques sur CNF

2 Publications

Finding all Solutions to a CNF. The DualSat SAT Solver

Autor:in: Elmar Stellnberger (Auteur)

Matière: Informatique - Informatique appliquée

Catégorie: Thèse de Master , 2020 66 Pages , Note: Sehr gut

N° de catalogue: 1022264

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

Autor:in: Lea Kristin Gerling (Auteur)

Matière: Informatique - Internet, Nouvelles Technologies

Catégorie: Exposé Écrit pour un Séminaire / Cours , 2015 34 Pages

N° de catalogue: 335400

Prix: US$ 18,99