编辑配置文件(在新选项卡中打开) Phan,Quoc-Sang先生 合著者距离 作者ID: 潘·科奇-桑 发布日期: Phan,Quoc Sang先生 外部链接: ORCID公司 已编制索引的文档: 4出版物自2011年起 合著者: 7合著者具有2联合出版物 168位合作作者 全部的 前5名合著者 2 单作者的 1 阿尔贝托·格里乔 1 Le,Quang Loc公司 1 Pham、Long H。 1 秦胜超 1 罗伯托·塞巴斯蒂亚尼 1 孙骏 1 西尔维娅·托马西 系列 字段 4 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次5文件 引用人▼ 年份▼ SMT的随机局部搜索:结合理论求解器和WalkSAT。 Zbl 1348.68227号 阿尔贝托·格里乔;Phan,Quoc-Sang先生;罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 4 2011 使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 Zbl 1437.68044号 Pham、Long H。;Le,Quang Loc公司;Phan,Quoc-Sang先生;孙骏;秦胜超 1 2019 使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 Zbl 1437.68044号 Pham、Long H。;Le,Quang Loc公司;Phan,Quoc-Sang先生;孙骏;秦胜超 1 2019 SMT的随机局部搜索:结合理论求解器和WalkSAT。 Zbl 1348.68227号 阿尔贝托·格里乔;Phan,Quoc-Sang先生;罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 4 2011 全部的 前5名10位作者引用 2 蔡少伟 2 李伯翰 2 张新迪 1 阿米恩·比尔 1 Le,Quang Loc公司 1 艾娜·尼梅茨 1 安德烈·帕塞里尼 1 马蒂亚斯·普雷纳 1 罗伯托·塞巴斯蒂亚尼 1 斯特凡诺·特索 3篇连载文章中引用 1 人工智能 1 系统设计中的形式化方法 1 ACM计算逻辑事务 在2个字段中引用 5 计算机科学(68-XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文