Learn More
  • Stuart Bain
  • Australian Conference on Artificial Intelligence
  • 2007
This paper describes a translation of the time-reversal problem in Life to propositional satisfiability. Two useful features of this translation are: that the encoding is linear (in both variables(More)