卫星UZK swMATH ID: 18570 软件作者: van der Grinten,A.、Wotzlaw,A.、Speckenmeyer,E.、Porschen,S。 描述: SATUZK:解算器描述。satUZK是布尔可满足性问题(SAT)的冲突驱动子句学习求解器。它是用C++从头开始编写的,旨在灵活且易于扩展。除了带有子句学习的标准DPLL[1]算法外,求解器还能够执行各种预处理和内处理技术。 主页: http://s3.amazonaws.com/academue.edu.documents/30605172/sc2012_proceedings.pdf?AWSAccessKeyId=AKIAJ56TQJRTWSMTNPEA&Expires=1484649404&Signature=v8cnTGpPnL0cCPJYtEZvycVrAPg%3D&response-内容-数据 相关软件: 超小卫星;葡萄糖;玲玲;Treengeling公司;弯曲;糠;通信卫星;PrecoSAT公司;地图_LCM_Dist_ChronoBT;钙DiCaL;YalSAT卫星;地图COMSPS_LRB;MapleCOMSPS公司;斯普拉茨;糖浆;加密MiniSat;萨特齐拉;帕拉米尔斯;SMAC公司;AClib(AClib) 引用于: 4文件 全部的 前5名15位作者引用 1 霍尔格·H·胡斯。 1 凯文·莱顿·布朗 1 李楚敏 1 李、余 1 马吕斯·林道尔 1 吕志鹏 1 罗,毛 1 很多,费利普 1 哦,Chanseok 1 保时捷、斯特凡 1 Schaub,Torsten H。 1 塔贾纳·施密特 1 埃瓦尔德·斯佩肯迈耶 1 安德烈亚斯·沃兹劳 1 肖,范 引用于2个系列 2 人工智能 1 离散应用数学 在2个字段中引用 4 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的引文