A branching heuristic for testing propositional satisfiability | IEEE Conference Publication | IEEE Xplore