充足可能性問題 じゅうそくかのうせいもんだい <じゅう'そく>・か'のう'せい・もん'だい 10

EDV Math. Erfüllbarkeitsproblem SAT der Aussagenlogik