On Approaches to Explaining Infeasibility of Sets of Boolean Clauses | IEEE Conference Publication | IEEE Xplore