S. Ramesh Knihy

"Calculation is key to winning chess games. Converting your chess knowledge into concrete moves requires calculation and precise visualization. The bad news: calculation is hard work. You cannot rely on feeling or intuition--you will have to turn on your brainpower. The good news: you can improve your calculation skills by training. Set up a position on a chessboard and try to solve exercises without moving the pieces!" -- Cover, page 4.

Calculation is key to winning chess games. Converting your chess knowledge into concrete moves requires calculation and precise visualization. Every chess player will benefit from the hundreds of training exercises in this book. Coach Ramesh will take your calculation skills from a club player's level to grandmaster level.

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.