XOR Local Search for Boolean Brent Equations.

Wojciech Nawrocki, Zhenjun Liu, Andreas Frhlich, Marijn J. H. Heule, Armin Biere

Browse the full SAT paper archive.