Hochschulschrift

Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Dresden, Technische Universität Dresden, Dissertation, 2020

Ereignis
Veröffentlichung
(wo)
Dresden
(wer)
Technische Universität Dresden
(wann)
2020
Urheber
Beteiligte Personen und Organisationen
Hölldobler, Steffen
Biere, Armin

URN
urn:nbn:de:bsz:14-qucosa2-384090
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:41 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Steinke, Peter
  • Hölldobler, Steffen
  • Biere, Armin
  • Technische Universität Dresden

Entstanden

  • 2020

Ähnliche Objekte (12)