BibTeX record conf/aaai/ChenHJ21

• > Home > conf/aaai/ChenHJ21

@inproceedings{DBLP:conf/aaai/ChenHJ21,
  author       = {Pei{-}Wei Chen and
                  Yu{-}Ching Huang and
                  Jie{-}Hong R. Jiang},
  title        = {A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean
                  Satisfiability 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        = {3697--3706},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i5.16486},
  doi          = {10.1609/AAAI.V35I5.16486},
  timestamp    = {Mon, 04 Sep 2023 16:50:23 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChenHJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}