Boolean Ring Satisfiability.
Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss · 2004
Abstract. We propose a method for testing satisfiability based on Boolean rings. It makes heavy use of simplification, but avoids the potential size increase associated with application of the distributive law by employing a combined linear and binomial representation. Several complexity results suggest why the method may be relatively effective in many cases. The framework is also amenable to learning from intersections, as in St˚almarck’s method. Some experiments have been undertaken. 1