Satisfiability problems
Agrawal, Manindra ; Thierauf, Thomas 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/1016485875
- Titel
-
Satisfiability problems
- Art des Inhalts
- Monographie
- Verfassangaben
- Manindra Agrawal ; Thomas Thierauf
- Autor(en)
-
- Agrawal, Manindra
- Thierauf, Thomas
- Verlag
- Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik [2010]
- Jahr
- Erscheinungsdatum: 2010
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:289-vts-70709
- Sprache
- eng
- Sachgruppe(n)
-
- Schlagwörter
-
- Stand
- 16.07.2021 16:55
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag