【充足可能性問題】じゅう￨そく･か￨のう￨せい･もん￨だいjūsoku·kanōsei·mondai10N.EDV, Math. Erfüllbarkeitsproblem n n; SAT (der Aussagenlogik).
Kommentare