BibTeX record conf/cec/PavlenkoCS22

download as .bib file

@inproceedings{DBLP:conf/cec/PavlenkoCS22,
  author       = {Artem Pavlenko and
                  Daniil Chivilikhin and
                  Alexander A. Semenov},
  title        = {Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean
                  Satisfiability},
  booktitle    = {{IEEE} Congress on Evolutionary Computation, {CEC} 2022, Padua, Italy,
                  July 18-23, 2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CEC55065.2022.9870262},
  doi          = {10.1109/CEC55065.2022.9870262},
  timestamp    = {Tue, 07 May 2024 20:07:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/PavlenkoCS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}