Dershowitz NachumHsiang JiehHuang Guan-shiengKaiss Daher2010-12-202018-07-052010-12-202018-07-052006http://ntur.lib.ntu.edu.tw//handle/246246/221000Cambodiaen-USBoolean Rings for Intersection-Based Satisfiabilityconference paper