Einträge aus allen Registern, die initial gezeigt werden sollen:
"Wenn man das Problem Satisfiability (=Erfüllbarkeitsproplem=SAT) auf Instanzen einschränkt, bei denen jede Variable höchstens zweimal vorkommt, die Größe der Klauseln aber nicht eingeschränkt bleibt, bleibt das Problem dann noch NP-vollständig?"
--- 2 Einträge
---
Heute,
Gestern,
vor 2 oder 3 Tagen geändert