Abstract not available
-
31May
-
04Jun
Abstract not available
-
07Jun
Abstract not available
-
07Jun
Abstract not available
-
11Jun
Abstract not available
-
13Jun
Alpha-beta pruning is an efficient search strategy for two-player game trees. It was invented in the late 1950s and is at the heart of most implementations of combinatorial game playing programs. In this talk I will survey my recent formalizations and verifications of a number of standard variations of alpha-beta pruning.
-
14Jun
Abstract not available
-
14Jun
Abstract not available
-
21Jun
Bio:
-
28Jun
Abstract not available