Tomás Dlask: Unit Propagation by Means of Coordinate-Wise Minimization. LOD (1) 2020: 688-699