Preface vNotes on the Exercises xiMathematical Preliminaries Redux 1Chapter 7: Combinatorial Searching 7.2.2 Backtrack Programming 307.2.2.1 Dancing links 657.2.2.2 Satisfiability 185Answers to Exercises 370Appendix A: Tables of Numerical Quantities 656Appendix B: Index to Notations 660Appendix C: Index to Algorithms and Theorems 666Appendix D: Index to Combinatorial Problems 667Appendix E: Answers to Puzzles in the Answers 671Index and Glossary 674
