[자료구조] binary tree의 만족성(satisfiability) 문제

명제 해석 식에 대한 만족성 문제는, 식의 값이 true가 되게 지정할 수 있는 방법이 있는지를 묻는 문제라고 한다. 책의 설명을 보니 되게 중요한 문제인가보다. 1950년대에 휴리스틱 프로그래밍의 가능성을 증명하기 위해서 썼다고 한다. 

 

잘 모르겠어서 여기까지만 쓴다 ^^;;