Eintrag weiter verarbeiten
Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: | Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications |
Hochschulschriftenvermerk: | Dissertation, Technische Universität Dresden, 2019 |
Format: | E-Book Hochschulschrift |
Sprache: | Englisch |
veröffentlicht: |
Online-Ausg..
2020
|
Schlagwörter: | |
Quelle: | Qucosa |