Boolean Rings for Intersection-Based Satisfiability.

Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss

Browse the full LPAR paper archive.