Please check this excellent video describing and explaining on 200 years of logic, optimization and constraint programming since the pioneering work of George B

Please check this excellent video describing and explaining on 200 years of logic, optimization and constraint programming since the pioneering work of George Boole [1]. Towards the end of the video you can also see Donald Knuth asking questions on the presentation. [1] Logic, Optimization, and Constraint Programming: A Fruitful Collaboration (2023) [video]: https://www.youtube.com/live/TknN8fCQvRk https://www.youtube.com/live/TknN8fCQvRk