Unambiguous-SAT 問題の自然な範囲に関する考察

本稿では、充足可能な論理式の範囲と、一意に充足可能な論理式の範囲を明確化することで、 Unambiguous-SAT 問題の自然な範囲を定義し、その範囲内の充足可能性問題を効率的に解くための方法について考察する。