%0 Conference Paper %1 conf/seke/PanSML21 %A Pan, Weiyu %A Shuai, Ziqi %A Ma, Ke %A Liu, Luyao %B SEKE %D 2021 %E Chang, Shi-Kuo %I KSI Research Inc. %K dblp %P 538-543 %T Optimal Conjunctive Normal Form Encoding for Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/seke/seke2021.html#PanSML21 %@ 1-891706-52-7

@inproceedings{conf/seke/PanSML21, added-at = {2022-09-21T00:00:00.000+0200}, author = {Pan, Weiyu and Shuai, Ziqi and Ma, Ke and Liu, Luyao}, biburl = {https://www.bibsonomy.org/bibtex/2fa822ebbe17621f21c5485cf6fed6891/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2021}, editor = {Chang, Shi-Kuo}, ee = {https://doi.org/10.18293/SEKE2021-113}, interhash = {de92c31a586b7b710d55e3678c140e28}, intrahash = {fa822ebbe17621f21c5485cf6fed6891}, isbn = {1-891706-52-7}, keywords = {dblp}, pages = {538-543}, publisher = {KSI Research Inc.}, timestamp = {2024-04-09T11:51:07.000+0200}, title = {Optimal Conjunctive Normal Form Encoding for Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2021.html#PanSML21}, year = 2021 }