mostly on computers and mathematics
Can satisfiability solvers find spaceships and oscillators in Conway's Game of Life? Can they find them especially efficiently?
Expressing the number of neighbors as a Boolean expression is a little annoying.
No comments:
Post a Comment