de
en
es
fr
Shop
GRIN Website
Publish your texts - enjoy our full service for authors
Academic texts about CNF
2 publications
Finding all Solutions to a CNF. The DualSat SAT Solver
Autor:in:
Elmar Stellnberger (Author)
Subject:
Computer Science - Applied
Category:
Master's Thesis , 2020 66 Pages , Grade: Sehr gut
Catalog Number:
1022264
Price:
US$ 34.99
Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung
Autor:in:
Lea Kristin Gerling (Author)
Subject:
Computer Science - Internet, New Technologies
Category:
Seminar Paper , 2015 34 Pages
Catalog Number:
335400
Price:
US$ 18.99
