Dershowitz, NachumNachumDershowitzHsiang, JiehJiehHsiangHuang, Guan-ShiengGuan-ShiengHuangKaiss, DaherDaherKaissJIEH HSIANG2020-05-042020-05-042006https://scholars.lib.ntu.edu.tw/handle/123456789/488683Boolean Rings for Intersection-Based Satisfiability.conference paper10.1007/11916277_33https://doi.org/10.1007/11916277_33