MajorSat: A SAT solver to majority logic.

Yu-Min Chou, Yung-Chih Chen, Chun-Yao Wang, Ching-Yi Huang

Browse the full ASPDAC paper archive.