Dershowitz N.Hsiang J.Huang G. S.Kaiss D.2010-12-202018-07-052010-12-202018-07-052004http://ntur.lib.ntu.edu.tw//handle/246246/221012en-USBoolean Ring Satisfiabilityconference paper