超小卫星

此软件的关键字
zbMATH中的参考文献(参考
531篇文章
参考, 1标准件 )
Bian,Zheng Bing;Chudak,Fabian;Macready,William;Roy,Aidan;Sebastiani,Roberto;Varotti,Stefano:用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果(2020年) Chen,Qian Matteo;Finzi,Alberto;Mancini,Toni;Melatti,Igor;Tronci,Enrico:MILP、伪布尔和OMT解算器,用于关键无线网络中中继节点的最佳容错配置(2020年) 帕特里克,德贝兹;佩林,莱奥:中间相遇攻击和回合减少王子的结构分析(2020) Drechsler,Rolf(编辑);Soeken,Mathias(编辑):高级布尔技术。 第13届布尔问题国际研讨会论文选集,德国不来梅,2018年9月19-21日(2020年) Gaggl,Sarah A.;Linsbichler,Thomas;Marco Maratea;Woltran,Stefan:第二届国际论证计算模型竞赛的设计和结果(2020年) 拉格尼兹,让-玛丽;朗卡,埃曼纽尔;马奎斯,皮埃尔:模型计数的可定义性(2020) 李楚民;萧,范;罗,毛;许多阿,费利普;吕志鹏;李,余:CDCL SAT解算器中单元传播的条款生动化(2020) Simon Martiel;Remaud,Maxime:量子回溯算法的实际实现(2020) Roh,Dongyong;Koo,Bonwook;Jung,Younghoon;Jeong,Il-Woong;Lee,Dong-Geon;Kwon,Daesung;Kim,Woo-Hwan:分组密码CHAM的修订版(2020) 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020) Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年) Antonius Weinzierl;Richard Taupe;Friedrich,Gerhard:《推进惰性基础ASP解决技术——重启、阶段节省、启发式等》(2020) Abd El Maksoud,Munira A.;Abdalla,Areeg:Van der Waerden数字的新SAT解算器(2019年) Alviano,Mario;Dodaro,Carmine;Fichte,Johannes K.;Hecher,Markus;Philipp,Tobias;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019) Mutsunori Banbara;Inoue,Katsumi;Kaufmann,Benjamin;Okimoto,Tenda;Schaub,Torsten;Soh,Takehide;Tamura,Naoyuki;Wanko,Philipp:\ textitespoon:用答案集编程解决基于课程的课程时间表问题(2019年) Breik,Keenan;Thachuk,Chris;Heule,Marijn;Soloveichik,David:热力学结合网络稳定构型的计算特性(2019) 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿雷斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表格演算(2019) Cerutti,Federico;Giacomin,Massimiliano;Vallati,Mauro:我们如何设计抽象论证的获胜算法以及我们获得的洞察力(2019年) Däubel,Karl;Jäger,Sven;Mütze,Torsten;Scheucher,Manfred:关于正交对称链分解(2019) Fichte,Johannes K.;Kronegger,Martin;Woltran,Stefan:答案集编程的多参数观点(2019)