The Story of the Sun - Stories With Chinese Characters
Optimal Implementation of Watched Literals and More General Techniques