SHA-256 Collision Attack with Programmatic SAT. - Nahiyan Alamgir; Saeed Nejati; Curtis Bright (PAAR+SC²@IJCAR, 2024)