SAT Solving Using XOR-OR-AND Normal Forms. - Bernhard Andraschko; Julian Danner; Martin Kreuzer (Math. Comput. Sci., 2024)