Computation of satisfiability degree of a propositional formula using dependency matrix | IEEE Conference Publication | IEEE Xplore