充足可能性問題
【じゅうそくかのうせいもんだい】
【juusokukanouseimondai】
可满足性问题
充足可能性問題
【じゅうそくかのうせいもんだい】
【juusokukanouseimondai】
满足性问题