徘徊

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