Serge Gaspers, Edward J. Lee: Faster Graph Coloring in Polynomial Space. Algorithmica 85(2): 584-609 (2023)