Logic Puzzles and SAT Solvers: A match made in heaven | by Abhijit Sharma | Medium
logic - Is there a general effective method to solve Smullyan style Knights and Knaves problems? Is the truth table method the most appropriate one? - Mathematics Stack Exchange