Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl. Quantifier Elimination in Stochastic Boolean Satisfiability. In Kuldeep S. Meel, Ofer Strichman, editors, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Volume 236 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{WangTJS22,
title = {Quantifier Elimination in Stochastic Boolean Satisfiability},
author = {Hao-Ren Wang and Kuan-Hua Tu and Jie-Hong Roland Jiang and Christoph Scholl},
year = {2022},
doi = {10.4230/LIPIcs.SAT.2022.23},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.23},
researchr = {https://researchr.org/publication/WangTJS22},
cites = {0},
citedby = {0},
booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel},
editor = {Kuldeep S. Meel and Ofer Strichman},
volume = {236},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-242-6},
}