Hacker News new | ask | show | jobs
by agravier 5007 days ago
Planning problems can be encoded as SAT problems, for instance.