Boolean Ring Satisfiability.

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

Browse the full SAT paper archive.