×

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 张志伟

按年份列出的引文