On Determining the Real Output Xs by SAT-Based Reasoning | IEEE Conference Publication | IEEE Xplore