Proposition matrix search algorithm for satisfiability degree computation | IEEE Conference Publication | IEEE Xplore