Extreme SAT-based Constraint solving with R-Solve | IEEE Conference Publication | IEEE Xplore