退出
我的积分:
中文文献批量获取
外文文献批量获取
符祖峰; 许道云;
贵州大学计算机科学与技术学院 贵州贵阳550025;
安顺学院电子与信息工程学院 贵州安顺561000;
d-正则(k; s)-CNF公式; SAT问题; NP完全性;
机译:Np-硝基苯基-α-D-核吡喃糖胺,Np-硝基苯基-α-D-吡喃吡喃糖胺的晶体结构和固态C-13 NMR分析以及Np-硝基苯基-2,3的固态C-13 NMR分析4-三-O-乙酰基-β-D-吡喃吡喃糖胺和Npn
机译:Np-硝基苯基-α-D-核吡喃糖胺,Np-硝基苯基-α-D-吡喃吡喃糖胺的晶体结构和固态〜(13)C NMR分析以及Np-硝基苯基-的固态〜(13)C NMR分析2,3,4-三-O-乙酰基-β-D-吡喃吡喃糖胺和Np
机译:严格D-常规随机(3,2S)-SAT问题的满足阈值的属性
机译:(k-SAT,r-UNk-SAT)和(LSAT≥k,,r-UNLSAT≥k)的NP完全性
机译:计算复杂性的几何方法(决策树,NP完全性,线性规划)
机译:B细胞对D-谷氨酸和D-赖氨酸(DNP-D-GL)共聚物偶合的24-二苯二酚的耐受性
机译:关于min-max-Delay问题:Np完全性,算法和Int-Gap
机译:石的正则系统的定理mD完全性
机译:将解决方案用于SAT问题的方法和装置
机译:公交车轮椅上人SAT的座椅皮带装置,解决了驱动公交车时发生的带扣振动所带来的噪音问题
机译:解决线性时间中布尔可满足性(SAT)问题的顺序机
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。