BibTeX record conf/ijcai/LeeWJ18

• > Home > conf/ijcai/LeeWJ18

@inproceedings{DBLP:conf/ijcai/LeeWJ18,
  author       = {Nian{-}Ze Lee and
                  Yen{-}Shi Wang and
                  Jie{-}Hong R. Jiang},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Solving Exist-Random Quantified Stochastic Boolean Satisfiability
                  via Clause Selection},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {1339--1345},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/186},
  doi          = {10.24963/IJCAI.2018/186},
  timestamp    = {Sun, 25 Oct 2020 23:13:55 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeeWJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}