【充足性問題】じゅう│そく│せい・もん│だいjūsokusei·mondai7N.EDV, Math. Erfüllbarkeitsproblem n n; SAT (der Aussagenlogik).
Kommentare