SMT-LIB公司

此软件的关键字
zbMATH参考文献(参考
182篇文章
Bright,Curtis;Kotsireas,Ilias;Heinle,Albert;Ganesh,Vijay:长度为28的复杂Golay对:通过计算机代数和程序SAT进行搜索(2021年) Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年) Bright,Curtis;Kotsireas,Ilias;Ganesh,Vijay:将带有SAT解算器的计算机代数系统应用于Williamson猜想(2020) Davenport,James H.(编辑);England,Matthew(编辑);Griggio,Alberto(编辑);Sturm,Thomas(编辑);Tinelli,Cesare(编辑):编辑:符号计算和可满足性检验(2020) England,Matthew;Bradford,Russell;Davenport,James H.:带等式约束的柱形代数分解(2020) Kremer,Gereon;Ábrahám,Erika:完全增量圆柱代数分解(2020) 秦旭东;Bliudze,Simon;Madelaine,Eric;侯泽晨;邓宇欣;张敏:基于SMT的符号自动机生成(2020) Patrick Trenptin,用于优化的模块化工具:Mathartic Trenptin,2020 Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019) Barbosa,Haniel;Reynolds,Andrew;El Ouraoui,Daniel;Tinelli,Cesare;Barrett,Clark:将SMT求解器扩展到高阶逻辑(2019年) Borralleras,Cristina;Larraz,Daniel;Rodríguez Carbonell,Enric;Oliveras,Albert;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019年) Bueno,Denis;Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年) König,Barbara;Nederkorn,Maxime;Nolte,Dennis:CoReS:通过SAT/SMT解算器计算核心图的工具(2019年) Niemetz,Aina;Preiner,Mathias;Reynolds,Andrew;Zohar,Yoni;Barrett,Clark;Tinelli,Cesare:面向SMT解算器的位宽度独立证明(2019) Reger,Giles;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019) Stephan Schulz;Simon Cruanes;Vukmirović,Petar:更快、更高、更强:E2.3(2019年) 特伦丁,帕特里克;塞巴斯蒂安,罗伯托:浮点数理论的优化模(2019) Bansal,Kshitij;Barrett,Clark;Reynolds,Andrew;Tinelli,Cesare:SMT中的有限集和基数约束推理(2018) Barrett,Clark;Tinelli,Cesare:可满足模理论(2018) Blanchette,Jasmin Christian;Peltier,Nicolas;Robilard,Simon:数据类型和代码类型的叠加(2018)