SAT Solving Using XOR-OR-AND Normal Forms

Bernhard Andraschko, Julian Danner, Martin Kreuzer

This paper introduces the XOR-OR-AND normal form (XNF) for logical formulas. It is a generalization of the well-known Conjunctive Normal Form (CNF) where literals are replaced by X…