PrecoSAT公司 swMATH ID: 7832 软件作者: 比尔,A 描述: PrecoSAT使用MIT风格的许可证。本质上,只要您在源代码中确认软件的来源,就可以根据需要使用和修改源代码。更多详细信息可以在来源附带的LICENSE文件中找到。没有担保。背景:2009年SAT竞赛的系统描述部分描述了PrecoSAT背后的思想。SAT是一个经典的NP完全问题,其目的是寻找合取范式(CNF)中命题公式的满意赋值。《可满足性手册》极好地概述了该领域的理论和实践方面。有关SAT的更多信息,请访问www.satlive.org或www.satlib.org。我们最近也有一些关于SAT的论文,主要关注实际SAT解决方案。在我们的软件页面上,您可以找到我们团队早期的SAT解算器和相关工具。 主页: http://fmv.jku.at/precast/ 相关软件: 弯曲;超小卫星;玲玲;糠;加密MiniSat;葡萄糖;Treengeling公司;PicoSAT卫星;ManySAT公司;帕拉库巴;基萨特;YalSAT卫星;钙DiCaL;SATO公司;ppfolio公司;巴基斯坦国家税务局;周六4j;地图_LCM_Dist_ChronoBT;地图COMSPS_LRB;MapleCOMSPS公司 引用于: 22文件 更多出版物: http://fmv.jku.at/papers/index.html 全部的 前5名63位作者引用 三 阿明·比尔 2 马蒂亚斯·弗勒里 2 马蒂·Järvisalo 2 诺伯特·曼恩 2 罗伯特·纽文胡斯 2 阿尔伯特·奥利弗拉斯 2 托拜厄斯·菲利普 2 恩里克·罗德里格斯-卡博内尔 1 伊格纳西·阿比奥 1 罗伯托·阿斯因 1 马克·巴蒂 1 安东·贝洛夫 1 克里斯托夫·塞林 1 迈克尔·科迪什 1 康斯坦丁尼德斯,乔治A。 1 Czarnecki、Krzysztof 1 罗尔夫·法格伯格 1 克里斯托夫·弗拉姆 1 维杰·加内什 1 吉尔根·吉斯尔 1 Heule,Marijn J.H。 1 霍尔格·H·胡斯。 1 安蒂·E·J·海瓦·里宁。 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 汤米·A·琼蒂拉。 1 卡斯基,佩特里 1 米科·科维斯托 1 Janne H.Korhonen。 1 凯里里迪斯、阿纳斯塔西奥斯 1 凯文·莱顿·布朗 1 李楚敏 1 李、余 1 梁家辉 1 马吕斯·林道尔 1 吕志鹏 1 罗,毛 1 林奇,因斯 1 Vasco M.Manquinho。 1 很多,费利普 1 Joáo P.塞尔瓦侯爵。 1 鲁本·马丁斯 1 瓦伦丁·梅耶尔·艾希伯格 1 丹尼尔·默克尔 1 Pawe Morawieckił 1 安东尼奥·莫尔加多 1 亚尼克·恩戈科 1 Niemelä,Ilkka N.F。 1 菲利普·彼得斯 1 Poupart,帕斯卡 1 Schaub,Torsten H。 1 彼得·施奈德·坎普 1 Aleksandr Anatol’evich塞梅诺夫 1 安舒马利·施里瓦斯塔瓦 1 泰勒·索伦森 1 玛丽安·斯雷布尼 1 彼得·斯塔德勒(Peter F.Stadler)。 1 雷内·蒂曼 1 丹尼斯·特里斯特拉姆(Denis R.Trystram)。 1 Moshe Ya’akov瓦尔迪 1 Christoph Wernhard公司 1 约翰·威克森 1 肖,范 1 张志伟 全部的 前5名8篇连载文章中引用 三 人工智能 2 约束条件 1 信息处理信件 1 自动推理杂志 1 系统设计中的形式化方法 1 人工智能研究杂志 1 国际应用数学与计算机科学杂志 1 计算机科学中的数学 全部的 前5名在7个字段中引用 20 计算机科学(68至XX) 三 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 有序,格,有序代数结构(06-XX) 1 经典热力学,传热(80-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文