| |
| Ansetzungsform: | Erfüllbarkeitsproblem |
|---|---|
| SWD: | 4323820-8 |
| GND: | 4323820-8 |
| PPN (SWB): | 128435682 |
| Quelle: | Lex. Informatik Kommunikationstechnik |
| SWD-Systematiknummer: | 30 |
| Notation DDC: | 511.352 |
| Verweisungsformen allg.: | Satisfiability problem SAT <Komplexitätstheorie> |
| Übergeordnete Bezeichnung: | NP-vollständiges Problem |
| Verwandter Begriff: | NP-vollständiges Problem |
DNB: Deutsche Nationalbibliothek
