On the Resiliency of Unit Propagation to Max-Resolution

Open in new window