zbMATH参考文献(37篇文章引用)

显示结果1到20,共37个。
按年份排序(引用)
  1. Juma,Nahid;Ditel,Werner;Tripunitara,Mahesh:泛型宇宙类型可调类型推断的计算复杂性分析(2020)
  2. Junttila,Tommi;Karppa,Matti;Kaski,Petteri;Kohonen,Jukka:对称性缩减的自适应前缀分配技术(2020)
  3. 李小帆(音)2020;李鹏(音)传播单位
  4. Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年)
  5. 乔治巴赫梅耶(Georg Bachmeier);费利克斯(Felix)布兰特(Brandt);基耶斯(Geist),克里斯蒂安(Geist),保罗哈伦斯坦(Harrenstein),卡尔德尔(Kardel),凯万(Keyvan),彼得斯(Peters),多米尼克(Dominik),赛迪格(Seedig),汉斯·格奥尔格(Hans Georg):(k)——多数有向图和固定人数投票的艰难投票(
  6. Bean,Christian;Gudmundsson,Bjarki;Ulfarsson,Henning:置换类结构规则的自动发现(2019)
  7. Beleĭ,Evgeniya Gennad'evna;Semënov,Aleksandr Anatol'evich:有限集中对象可分辨性的命题编码技术(2019)
  8. Kauers,Manuel;Seidl,Martina;Zeilberger,Doron:不同DNF重言式中的最大最小立方体长度(2019)
  9. 本杰明•基尔;海勒•马里恩•J•H.;贝尔•阿明:《作为有条件自给自足的真理分配》(2019年)
  10. Alexander-of-Boolean搜索(2019年:伪变量合并技术)
  11. Tonello,Elisa;Farcot,Etienne;Chaouiya,Claudine:最多包含五个分量的布尔网络中的局部负电路和循环吸引子(2019)
  12. 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018)
  13. Eggensperger,Katharina;Lindauer,Marius;Hoos,Holger H.;Hutter,Frank;Leyton Brown,Kevin:通过基于模型的代理对算法配置器进行有效的基准测试(2018年)
  14. Baud Bertier,Guillaume;Giráldez Cru,Jesús;Simon,Laurent:关于有界模型检验SAT问题的社区结构(2017)
  15. Brandt,Felix;Geist,Christian;Peters,Dominik:通过SAT求解解决无显示悖论的最佳边界(2017)
  16. Heule,Marijn J.H.;Seidl,Martina;Biere,Armin:QBF预处理的溶液验证和提取(2017)
  17. Hutter,Frank;Lindauer,Marius;Balint,Adrian;Bayless,Sam;Hoos,Holger;Leyton Brown,Kevin:可配置SAT解算器挑战赛(CSSC)(2017)
  18. Hyttinen,Antti;Plis,Sergey;Järvisalo,Matti;Eberhardt,Frederick;Danks,David:从子样本时间序列数据中发现因果关系的约束优化方法(2017)
  19. Junttila,Tommi;Karppa,Matti;Kaski,Petteri;Kohonen,Jukka:对称性缩减的自适应前缀分配技术(2017)
  20. Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:(\textPara^2):阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT(2017)