Donald E. Knuth
Donald E. Knuth หนึ่งในปรมาจารย์ของวงการวิทยาศาสตร์คอมพิวเตอร์ฉลองอายุครบ 10000 ปี (ฐานสาม) ด้วยการออกหนังสือ The Art of Computer Programming เล่ม (volume) 4 ส่วน B มัด (fascicle) ที่ 5 และ 6 ในเวลาไล่เลี่ยกัน
มัดที่ 5 เป็นเรื่องของ backtracking และส่วนพิเศษ Mathematical Preliminaries Redux เพิ่มเติมส่วนที่ Knuth ไม่รู้เมื่อเขียนเล่ม 1 ในปี 1960 โดยหนังสือมีโจทย์ 650 ข้อและเฉลย
มัดที่ 6 เป็นเรื่อง Satisfiability คือการวิเคราะห์ฟังก์ชั่น boolean แล้วหาว่ามีตัวค่าของตัวแปรที่ทำให้ฟังก์ชั่นเป็นจริงได้หรือไม่ หนังสือมีโจทย์ 500 ข้อและเฉลย