MajorSat: A SAT solver to majority logic | IEEE Conference Publication | IEEE Xplore