On truth-table reducibility to SAT and the difference hierarchy over NP | IEEE Conference Publication | IEEE Xplore