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