%0 Conference Paper %1 conf/aaai/ChenHJ21 %A Chen, Pei-Wei %A Huang, Yu-Ching %A Jiang, Jie-Hong R. %B AAAI %D 2021 %I AAAI Press %K dblp %P 3697-3706 %T A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#ChenHJ21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/ChenHJ21, added-at = {2023-09-04T00:00:00.000+0200}, author = {Chen, Pei-Wei and Huang, Yu-Ching and Jiang, Jie-Hong R.}, biburl = {https://www.bibsonomy.org/bibtex/26aa84c19dba047b229ec4015a1526fbc/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i5.16486}, interhash = {0c677cdd95f152f9542236cee9d9d009}, intrahash = {6aa84c19dba047b229ec4015a1526fbc}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {3697-3706}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#ChenHJ21}, year = 2021 }