Improving SAT using 2SAT

Conference Proceedings

L ZHENG, PJ STUCKEY

Australian Computer Science Communications | Australian Computer Society | Published : 2002