2xnf_sat_solving

Source code for paper SAT Solving Using XOR-OR-AND Normal Forms.

Implementations for the ANF->XNF conversion algorithms (of Section 3) can be found in anf_to_2xnf; implementations for the graph-based XNF solving algorithm (of Section 4) in 2-Xornado.

(The submodules can be downloaded via git submodule update --init.)

Reference

[1] B. Andraschko, J. Danner, and M. Kreuzer. SAT Solving Using XOR-OR-AND Normal Forms. Math. Comput. Sci. 18, 20 (2024).