3 ms·Planning problems can be encoded as SAT problems, for instance.by agravier 14y agoPlanning problems can be encoded as SAT problems, for instance.