×
克里斯蒂娜·博拉莱拉斯；丹尼尔·拉拉兹；恩里克·罗德里格斯-卡博内尔；阿尔伯特·奥利弗拉斯；阿尔伯特·鲁比奥

求解整数上非线性公式的不完全SMT技术。 （英语） Zbl 1433.68405号

ACM事务处理。计算。日志。 第20条第4款第25条第25页（2019年）.

引用于2文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68兰特 可满足性的计算方面

关键词：

非线性算法；可满足性模理论

软件：

vZ（虚拟Z）；优化数学卫星；CalCS公司；EFSMT公司；SMT-RAT型；raSAT系统；Yices公司；SMT-LIB公司；StarExec公司；CVC4型；ProB公司；z3（零3）
PDF格式BibTeX公司 XML格式引用
\textit{C.Borraleras}等人，ACM Trans。计算。日志。20，第4号，第25条，第25页（2019年；Zbl 1433.68405）
全文： 内政部 arXiv公司