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.
Post a Comment
No comments :
Post a Comment