Conference Proceedings

Improving SAT using 2SAT

L ZHENG, PJ STUCKEY

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