Tobias Nipkow. Alpha-Beta Pruning Verified (Invited Talk). In Yves Bertot, Temur Kutsia, Michael Norrish, editors, 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia. Volume 309 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.