Report - USING QBF SOLVERS TO SOLVE GAMES AND PUZZLES Zhihe … · Zhihe Shen Advisor: Howard Straubing. Abstract There are multiple types of games, such as board games and card games. Some

Please pass captcha verification before submit form