SOUPS: A Variable Ordering Metric for the Saturation Algorithm | IEEE Conference Publication | IEEE Xplore