Pham、Long H。;Le,Quang Loc公司;Phan,Quoc-Sang先生;孙骏;秦胜超 使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 (英语) Zbl 1437.68044号 Chen,Yu Fang(编辑)等人,用于验证和分析的自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781, 209-227 (2019).MSC公司:68号30 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Pham}等人,Lect。注释计算。科学。11781、209--227(2019;Zbl 1437.68044) 全文: 内政部 arXiv公司 链接
Phan,Quoc-Sang先生 作为DPLL模理论的符号执行。 (英语) 兹比尔1427.68050 Neykova,Rumyana(编辑)等人,2014年帝国理工学院计算机专业学生研讨会,ICCSW’14,英国伦敦,2014年9月25日至26日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。43, 58-65 (2014).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Q.-S.Pan},OASIcs——OpenAccess系列。通知。43、58-65(2014;Zbl 1427.68050) 全文: 内政部
Phan,Quoc-Sang先生 通过符号执行进行自我组合。 (英语) Zbl 1281.68082号 Jones,Andrew V.(编辑)等人,2013年帝国理工学院计算机专业学生研讨会ICCSW’13,英国伦敦,2013年9月26日至27日。第三次研讨会论文集。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-63-7)。OASIcs–信息学中的OpenAccess系列35,95-102,仅电子版(2013年)。MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Q.-S.Pan},OASIcs——OpenAccess系列。通知。35、95——102(2013;Zbl 1281.68082) 全文: 内政部
阿尔贝托·格里乔;Phan,Quoc-Sang先生;罗伯托·塞巴斯蒂安;西尔维娅·托马西 SMT的随机局部搜索:结合理论求解器和WalkSAT。 (英语) Zbl 1348.68227号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,163-178(2011)。MSC公司:68T20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,Lect。注释计算。科学。6989163--178(2011年;Zbl 1348.68227) 全文: 内政部 链接