3 STRUCTURES AND STRATEGIES FOR STATE SPACE SEARCH 79

3.0 Introduction 79

3.1 Graph Theory 82

3.2 Strategies for State Space Search 93

3.3 Using the State Space to Represent Reasoning with the Predicate Calculus 107

3.4 Epilogue and References 121

3.5 Exercises 121