%0 Conference Paper %1 conf/sat/NawrockiLFHB21 %A Nawrocki, Wojciech %A Liu, Zhenjun %A Fröhlich, Andreas %A Heule, Marijn J. H. %A Biere, Armin %B SAT %D 2021 %E Li, Chu-Min %E Manyà, Felip %I Springer %K dblp %P 417-435 %T XOR Local Search for Boolean Brent Equations. %U http://dblp.uni-trier.de/db/conf/sat/sat2021.html#NawrockiLFHB21 %V 12831 %@ 978-3-030-80223-3

@inproceedings{conf/sat/NawrockiLFHB21, added-at = {2021-07-29T00:00:00.000+0200}, author = {Nawrocki, Wojciech and Liu, Zhenjun and Fröhlich, Andreas and Heule, Marijn J. H. and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2477f409ea23f6f25e38ca1b0637483cf/dblp}, booktitle = {SAT}, crossref = {conf/sat/2021}, editor = {Li, Chu-Min and Manyà, Felip}, ee = {https://doi.org/10.1007/978-3-030-80223-3_29}, interhash = {5fde79e23e3a817834189b549ee4a0aa}, intrahash = {477f409ea23f6f25e38ca1b0637483cf}, isbn = {978-3-030-80223-3}, keywords = {dblp}, pages = {417-435}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {XOR Local Search for Boolean Brent Equations.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2021.html#NawrockiLFHB21}, volume = 12831, year = 2021 }