satisfiability

주어진 논리식을 참으로 만드는 변수 값의 조합(모델)이 적어도 하나 존재하는지 판단하는 문제로, 복잡한 추론을 계산으로 해결하는 기반이 된다.