阿明·比尔 PicoSAT基本功能。 （英语） Zbl 1159.68403号 J.满意。布尔模型。计算。 4，编号2-4，75-97（2008）. 摘要：我们描述并评估了用于观看文字的优化紧凑数据结构。用我们的SAT求解器PicoSAT进行的实验表明，这种低级优化不仅节省了内存，而且大大加快了SAT求解程序的速度。我们还讨论了如何在内存中紧凑地存储验证痕迹，以及PicoSAT的进一步独特功能，包括积极的重启计划。 引用于60文件 MSC公司： 68第05页 数据结构 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：SAT解算器;关注的文字;事件列表;证明痕迹;重新启动 软件：PicoSAT卫星;SATO公司;伯克明州;zChaff公司;糠;利马特河;爱格;BooleForce公司;皇家卫星;超小卫星 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}，J.Satisfe（J.满意）。布尔模型。计算。4，编号2-4，75-97（2008；兹bl 1159.68403）