Backward computation

A nice definition from The Elements of Artificial Intelligence Using Common LISP by Steven L. Tanimoto.

Of course, this is also true for SAT/SMT, CSP, etc...


Please drop me email about bug(s) and/or suggestion(s): my emails. List of my other blog posts.