PicoSAT卫星 swMATH ID: 7092 软件作者： 阿明·比尔 描述： PicoSAT基本功能。我们描述并评估用于观察文字的优化紧凑数据结构。用我们的SAT求解器PicoSAT进行的实验表明，这种低级优化不仅节省了内存，而且大大加快了SAT求解程序的速度。我们还讨论了如何在内存中紧凑地存储校验痕迹，以及PicoSAT的进一步独特功能，包括积极的重启时间表。 主页： http://fmv.jku.at/picosat/ 关键词： SAT解算器；关注的文字；出现次数列表；证明痕迹；重新启动 相关软件： 超小卫星；糠；伯克明州；周六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 Joáo P.塞尔瓦侯爵。 7 阿明·比尔 5 安东·贝洛夫 5 Heule，Marijn J.H。 5 林奇，因斯 4 弗洛里安·朗辛 4 安托尼奥·莫尔加多 三 卡洛斯·安索特吉 三 罗伯特·布鲁迈耶 三 尤金·戈德伯格。 三 霍尔格·H·胡斯。 三 米科拉什，雅诺塔 三 Vasco M.Manquinho。 三 菲利普·马里奇 三 鲁本·马丁斯 2 阿尔夫·罗查，蒂亚戈 2 阿西恩·阿查，罗伯托 2 乍得·布朗·爱德华 2 马库斯·赫彻 2 亨特，沃伦·A·琼。 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 约尔迪·利维 1 凯文·莱顿·布朗 1 马克·利菲顿。 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） 14 数学逻辑和基础（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） 按年份列出的引文