@进行中{NawrockiLiuFroehlichHeuleBiere-SAT21，author={Wojciech Nawrocki和刘振军和Andreas Fr{\“{o}}hlich和Marijn J.H.Heule和Armin Biere}，editor={Chu{-}Min Li和费利普·马许（Felip Many）{\`{a}}}，title={{XOR}局部搜索{Boolean}{Brent}方程}，booktitle={可满足性测试的理论与应用-{SAT}2021-24th国际会议，西班牙巴塞罗那，2021年7月5日至9日，会议记录}，系列=LNCS，体积={12831}，页数={417--435}，publisher={Springer}，年份={2021}，doi={10.1007/978-3-030-80223-3_29}，}