BibTeX record conf/aaai/KyrillidisVZ21

• > Home > conf/aaai/KyrillidisVZ21

@inproceedings{DBLP:conf/aaai/KyrillidisVZ21,
  author       = {Anastasios Kyrillidis and
                  Moshe Y. Vardi and
                  Zhiwei Zhang},
  title        = {On Continuous Local BDD-Based Search for Hybrid {SAT} Solving},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {3841--3850},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i5.16502},
  doi          = {10.1609/AAAI.V35I5.16502},
  timestamp    = {Mon, 04 Sep 2023 16:50:25 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KyrillidisVZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}