Dvořák, Z. A Strengthening and an Efficient Implementation of Alon-Tarsi List Coloring Method. Electron. J. Combin. 2024, 31, P1.35.