Probing-based preprocessing techniques for propositional satisfiability | IEEE Conference Publication | IEEE Xplore