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

显示第1到第20个结果,共52个。
按年份排序(引用)
  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. Ngoko,Yanik;Cérin,Christophe;Trystram,Denis:在分布式云中解决SAT:投资组合方法(2019)
  11. Alexander-of-Boolean搜索(2019年:伪变量合并技术)
  12. Tonello,Elisa;Farcot,Etienne;Chaouiya,Claudine:最多包含五个分量的布尔网络中的局部负电路和循环吸引子(2019)
  13. 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018)
  14. Eggensperger,Katharina;Lindauer,Marius;Hoos,Holger H.;Hutter,Frank;Leyton Brown,Kevin:通过基于模型的代理对算法配置器进行有效的基准测试(2018年)
  15. 阿列克谢·伊格纳蒂耶夫;安东尼奥·莫尔加多;乔奥·席尔瓦侯爵:PySAT:用SAT oracles进行原型制作的Python工具箱(2018)
  16. Kochemazov,Stepan;Zaikin,Oleg:别名:用于查找SAT后门的模块化工具(2018)
  17. Bannach,Max;Berndt,Sebastian;Ehlers,Thorsten:Jdrasil:用于计算树分解的模块化库(2017)
  18. Baud Bertier,Guillaume;Giráldez Cru,Jesús;Simon,Laurent:关于有界模型检验SAT问题的社区结构(2017)
  19. Brandt,Felix;Geist,Christian;Peters,Dominik:通过SAT求解解决无显示悖论的最佳边界(2017)
  20. Heule,Marijn J.H.;Seidl,Martina;Biere,Armin:QBF预处理的溶液验证和提取(2017)

更多出版物请访问:http://fmv.jku.at/papers/index.html