zbMATH参考文献(参考 62篇文章 参考)

显示第62至第1个结果。
按年份排序(引用)
  1. Amendola,Giovanni;Ricca,Francesco;Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  2. Gerault,David;Lafourcade,Pascal;Minier,Marine;Solnon,Christine:用约束编程计算AES相关关键微分特性(2020)
  3. Juma,Nahid;Ditel,Werner;Tripunitara,Mahesh:泛型宇宙类型可调类型推断的计算复杂性分析(2020)
  4. Junttila,Tommi;Karppa,Matti;Kaski,Petteri;Kohonen,Jukka:对称性缩减的自适应前缀分配技术(2020)
  5. 拉格尼兹,让-玛丽;朗卡,埃曼纽尔;马奎斯,皮埃尔:模型计数的可定义性(2020)
  6. 李楚民;萧,范;罗,毛;许多阿,费利普;吕志鹏;李,余:CDCL SAT解算器中单元传播的条款生动化(2020)
  7. Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年)
  8. 乔治巴赫梅耶(Georg Bachmeier);费利克斯(Felix)布兰特(Brandt);基耶斯(Geist),克里斯蒂安(Geist),保罗哈伦斯坦(Harrenstein),卡尔德尔(Kardel),凯万(Keyvan),彼得斯(Peters),多米尼克(Dominik),赛迪格(Seedig),汉斯·格奥尔格(Hans Georg):(k)——多数有向图和固定人数投票的艰难投票(
  9. Bean,Christian;Gudmundsson,Bjarki;Ulfarsson,Henning:置换类结构规则的自动发现(2019)
  10. Beleĭ,Evgeniya Gennad'evna;Semënov,Aleksandr Anatol'evich:有限集中对象可分辨性的命题编码技术(2019)
  11. Kauers,Manuel;Seidl,Martina;Zeilberger,Doron:不同DNF重言式中的最大最小立方体长度(2019)
  12. 本杰明•基尔;海勒•马里恩•J•H.;贝尔•阿明:《作为有条件自给自足的真理分配》(2019年)
  13. Ngoko,Yanik;Cérin,Christophe;Trystram,Denis:在分布式云中解决SAT:投资组合方法(2019)
  14. Semenov,Alexander A.:合并变量:伪布尔优化中的一种搜索技术(2019)
  15. Tonello,Elisa;Farcot,Etienne;Chaouiya,Claudine:最多包含五个分量的布尔网络中的局部负电路和循环吸引子(2019)
  16. 程,西;周,民;宋,晓宇;顾,明;孙佳光:并行SMT解决:懒惰分解与调解(2018)
  17. Eggensperger,Katharina;Lindauer,Marius;Hoos,Holger H.;Hutter,Frank;Leyton Brown,Kevin:通过基于模型的代理对算法配置器进行有效的基准测试(2018年)
  18. 定量推理(Marcelo,2018)
  19. Kiesl,Benjamin;Seidl,Martina;Tompits,Hans;Biere,Armin:《SAT中的局部冗余:封锁条款的概括》(2018)
  20. 宁,欣然;徐,杨;吴冠峰;傅惠民:《一阶逻辑中的集阻塞子句和扩展集阻塞子句》(2018)