3星问题的算法

Question

我遇到了3个星期六的问题...
但是几乎没有什么材料很难理解（例如戴维斯-普特南程序）。
是否有有效解决3卫星问题的特定算法或关键字？（不是蛮力）

谢谢。