A Davis Putnam based enumeration algorithm for linear pseudo-Boolean optimization
Barth, Peter 1995 Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
- Link zu diesem Datensatz
-
https://d-nb.info/943809916
- Titel
-
A Davis Putnam based enumeration algorithm for linear pseudo-Boolean optimization
- Art des Inhalts
- Monographie
- Verfassangaben
- Peter Barth. [Max-Planck-Institut für Informatik]
- Autor
-
Barth, Peter
- Verlag
- Saarbrücken : Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation [1995]
- Jahr
- Erscheinungsdatum: 1995
- Umfang/Format
- 12 S.
- Sprache
- ger
- Sachgruppe(n)
-
- Stand
- 02.01.2026 19:50
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
