I recently took a look at how we can prove a given instance of a randomizer romhack can be won using propositional logic. It’s posted over on the company’s blog, so make sure to take a look at it over there. It’s kind of part of the same thread as…
Making AI Practical and Practicable