%0 Conference Paper %1 conf/fmcad/YangLM22 %A Yang, Suwei %A Liang, Victor C. %A Meel, Kuldeep S. %B FMCAD %D 2022 %E Griggio, Alberto %E Rungta, Neha %I IEEE %K dblp %P 205-213 %T INC: A Scalable Incremental Weighted Sampler. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#YangLM22 %@ 978-3-85448-053-2

@inproceedings{conf/fmcad/YangLM22, added-at = {2023-06-22T00:00:00.000+0200}, author = {Yang, Suwei and Liang, Victor C. and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2021c16f0634a063ee1c47b483ef0d73d/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2022}, editor = {Griggio, Alberto and Rungta, Neha}, ee = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_27}, interhash = {10a51396bd53ee4016963c758451ce13}, intrahash = {021c16f0634a063ee1c47b483ef0d73d}, isbn = {978-3-85448-053-2}, keywords = {dblp}, pages = {205-213}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {INC: A Scalable Incremental Weighted Sampler.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#YangLM22}, year = 2022 }