Detecting Boolean Functions for Proving Unsatisfiability | IEEE Conference Publication | IEEE Xplore