Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere. XOR Local Search for Boolean Brent Equations. In Chu Min Li, Felip Manyà, editors, Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Volume 12831 of Lecture Notes in Computer Science, pages 417-435, Springer, 2021. [doi]
Abstract is missing.