BibTeX record journals/eccc/FlemingGK0V23

download as .bib file

@article{DBLP:journals/eccc/FlemingGK0V23,
  author       = {Noah Fleming and
                  Vijay Ganesh and
                  Antonina Kolokolova and
                  Chunxiao Li and
                  Marc Vinyals},
  title        = {Limits of {CDCL} Learning via Merge Resolution},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR23-052}},
  year         = {2023},
  url          = {https://eccc.weizmann.ac.il/report/2023/052},
  eprinttype    = {ECCC},
  eprint       = {TR23-052},
  timestamp    = {Mon, 01 Jul 2024 10:37:52 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/FlemingGK0V23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}