超小卫星

此软件的关键字
zbMATH中的参考文献(参考文献 566篇文章 , 1标准件 )
巴塔查里亚,阿纳布; 古普塔,阿什图什; 库普萨米,拉克什曼; 玛尼,索米亚; 舒克拉,安基特; 斯里瓦斯,曼德亚姆; Thattai,Mukund:预测真核细胞囊泡交通系统新特征的形式方法(2021) 博内,玛丽亚·路易莎; 巴斯,萨姆; 伊格纳蒂耶夫,亚历克赛; 莫加多,安东尼奥; 马奎斯·席尔瓦:基于最大可满足性的命题证明系统(2021) 阿德南,达威奇; Marquis,Pierre:论布尔逻辑中的文字量化及其在可解释人工智能中的应用(2021) 阿泽维多,吉尔赫米·恩里克·伊斯梅尔; 佩索阿,阿尔维斯; Subramanian,Anand:基于可满足性和工作量的广义优先约束项目调度问题的精确方法(2021) 吉尔德兹克鲁,杰斯; Levy,Jordi:流行相似性随机SAT公式(2021) 格里吉奥,阿尔伯托; 罗维里,马可; 托内塔,斯特凡诺:基于SAT的模型检查的证明(2021年) 侯赛因,阿卡什; 拉鲁西尼,弗朗索瓦:(\mathsfQCTL)模型检查与(\mathsfQBF)解算器(2021年) Kyrillidas,Anastasios; Shrivastava,安舒马利; 瓦迪,摩舍。; 张志伟:用多线性Fourier展开求解连续空间中的混合布尔约束(2021) 卢特伯格,比约纳尔; 克莱森,科恩; 约翰森,基督徒; Steffen,Martin:SAT模离散事件仿真在铁路设计能力分析中的应用(2021) 卢特伯格,比约纳尔; Johansen,Christian:用SAT绘制:铁路基础设施示意图的四种方法和工具(2021年) 庞齐奥,巴勃罗; 戈迪奥,阿里尔; 罗斯纳,尼古拉斯; 阿罗约,马塞洛; 阿吉尔,拿撒勒诺; Frias,Marcelo F.:使用紧字段边界对堆操作程序进行有效的有界模型检查(2021) 萨特克利夫:第十届IJCAR自动定理证明系统竞赛——CASC-J10(2021) Wernhard,Christoph:Craig interpolation with clausal一阶表格(2021) 扎瓦特里,马特奥; 科比,卡罗; 里兹,罗密欧; Viganò,Luca:STN与决策的一致性检查:无缝管理时间和访问控制约束(2021) 阿尔维亚诺,马里奥; Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020) 贝格,耶利米亚斯; 酒神,法希姆; Poole,Alex:隐式命中集合MaxSat求解的抽象核心(2020) 卞正兵; 楚达克,费边; 麦克雷迪,威廉; 罗伊,艾丹; 塞巴斯蒂安尼,罗伯托; Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020) 布雷卡,格哈德; 迪勒,马丁; 海森伯格,乔治; 林斯比希勒,托马斯; Woltran,Stefan:用答案集编程解决高级论证问题(2020) 陈,钱马太; 芬齐,阿尔贝托; 曼奇尼,托尼; 伊戈尔,梅拉蒂; Tronci,Enrico:MILP,pseudo Boolean和OMT解算器,用于关键任务无线网络中中继节点的最佳容错配置(2020) 德贝兹,帕特里克; 佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020)