PicoSAT卫星 swMATH ID: 7092 软件作者: 阿明·比尔 描述: PicoSAT基本功能。我们描述并评估用于观察文字的优化紧凑数据结构。用我们的SAT求解器PicoSAT进行的实验表明,这种低级优化不仅节省了内存,而且大大加快了SAT求解程序的速度。我们还讨论了如何在内存中紧凑地存储校验痕迹,以及PicoSAT的进一步独特功能,包括积极的重启时间表。 主页: http://fmv.jku.at/picosat/ 关键词: SAT解算器;关注的文字;事件列表;证明痕迹;重新启动 相关软件: 超小卫星;糠;Berk最小值;周六4j;SATO公司;SMT-LIB语言;弯曲;皇家卫星;z3(零3);玲玲;VAMPIRE公司;普韦布洛;UBCSAT公司;围攻;DRAT-饰件;TPTP公司;MiniMaxSat卫星;ManySAT公司;快速解释;PrecoSAT公司 引用于: 86文件 更多出版物: http://fmv.jku.at/papers/index.html 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 PicoSAT基本功能。 Zbl 1159.68403号阿明·比尔 2008 全部的 前5名154位作者引用 13 若昂·席尔瓦侯爵。 7 阿明·比尔 5 安东·贝洛夫 5 Heule,Marijn J.H。 5 林奇,因斯 4 弗洛里安·朗辛 4 安托尼奥·莫尔加多 三 卡洛斯·安索特吉 三 罗伯特·布鲁迈耶 三 尤金·戈德伯格。 三 霍尔格·H·胡斯。 三 米科拉什·亚诺塔 三 Vasco M.Manquinho。 三 菲利普·马里奇 三 鲁本·马丁斯 2 阿尔夫·罗查,蒂亚戈 2 罗伯托·阿辛·阿查 2 乍得·布朗·爱德华 2 马库斯·赫彻 2 沃伦·亨特(Warren A.jun Hunt)。 2 丹尼尔·科宁 2 奥利弗·库尔曼 2 Manolios,Panagiotis公司 2 弗朗西克勃·马丁斯·费雷拉 2 阿娜·特蕾莎·马丁斯 2 罗伯特·纽文胡斯 2 乔迪,飞机 2 帕特里克·蒂尔 2 Dave A.D.汤普金斯。 2 范·盖尔德,艾伦 2 内森·韦兹勒。 2 斯特凡·沃尔特兰 1 坦比尔·艾哈迈德 1 阿德里安·巴林特 1 托马斯·巴利奥 1 班科维奇,米兰 1 马克·巴蒂 1 汤姆·比恩米勒 1 尼古拉·S·比约纳。 1 米克尔波菲尔 1 玛丽亚·路易莎·博内 1 布莱恩,马丁 1 费利克斯·勃兰特 1 劳伦特·布尔托 1 穆罕默德·萨米·谢里夫 1 朱棣文,杰弗里 1 亚历山德罗·西马蒂 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 科顿,斯科特 1 卡莱斯·克鲁斯 1 西蒙·克鲁恩斯 1 莱昂纳多·德·莫拉 1 埃格利,乌韦 1 吕迪格·埃勒斯 1 迈克尔·Färber 1 约翰·克劳斯·费希特 1 文森特·弗罗泽 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 马丁·格布瑟 1 吉勒姆·戈多伊 1 阿尔贝托·格里乔 1 顾,明 1 贾马尔·哈贝特 1 哈东,塞普 1 亚伦·哈伍德 1 他,费 1 费德里科·赫拉斯 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 贾尼契奇,普雷德拉格 1 马蒂·Järvisalo 1 本杰明·考夫曼 1 苏拉布·O·卡西达什维利。 1 KhudaBukhsh,Ashiqur R。 1 米罗斯拉夫·克里莫什 1 康斯坦丁·科洛文 1 安东尼·库塞拉 1 希勒尔·库格勒 1 凯里里迪斯、阿纳斯塔西奥斯 1 丹尼尔·勒贝雷 1 Levy,乔迪 1 凯文·莱顿·布朗 1 马克·利菲顿(Mark H.Liffiton)。 1 沙拉德·马利克 1 马林诺夫斯基(Janusz Malinowski) 1 诺伯特·曼恩 1 V.Wiktor马雷克 1 卡洛斯·门西娅 1 迈克尔·莫拉克 1 亚历山大·纳德尔 1 彼得·尼伯特 1 罗尔夫·尼德迈尔 1 奥杰达、杰苏斯 1 阿尔伯特·奥利弗拉斯 1 Peter Csaba,Olveczky 1 乔尔·欧·瓦克宁。 1 安托尼奥·帕切科 1 米克尔帕拉西 1 克里斯蒂娜·帕利卡列娃 1 Josep Pon先生 1 皮·马蒂厄 …还有54位作者 全部的 前5名25篇连载文章中引用 6 人工智能 4 可满足性、布尔建模与计算杂志 三 自动推理杂志 三 约束条件 2 理论计算机科学 2 计算几何 1 离散应用数学 1 经济理论杂志 1 Studia Logica公司 1 计算机程序设计科学 1 SIAM离散数学杂志 1 计算的形式方面 1 人工智能通信 1 运筹学年鉴 1 系统设计中的形式化方法 1 人工智能研究杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 逻辑程序设计理论与实践 1 应用数学杂志 1 ACM实验算法杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 算法 1 理论计算机科学文本。EATCS系列 全部的 前5名在12个字段中引用 80 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 6 运筹学、数学规划(90-XX) 三 组合数学(05-XX) 2 凸和离散几何(52至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 一般性和全局性主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文