Can American Checkers be Solved by Means of Symbolic Model Checking?

Sat, 01 Jan 2000 00:00:00 +0100

Michael Baldamus, Klaus Schneider , Michael Wenz, Roberto Ziller:
Can American Checkers be Solved by Means of Symbolic Model Checking? FM-Everywhere@FORTE/PSTV 2000: 15-33