退出
我的积分:
中文文献批量获取
外文文献批量获取
吴学江;
中国通信学会;
SAT问题; 膨胀图; 随机算法; NP完全问题;
机译:利用三元向量和并行处理求解SAT问题
机译:CoReS:一种通过SAT / SMT求解器计算核心图的工具
机译:使用SAT求解器的消息序列图的不协调计算方法
机译:在视觉血液问题上的可调稀疏图求解器上的可调稀疏图求解器
机译:基于图的进化算法求解运输问题。
机译:一个工具包用于正向/反向问题心电图的sCIRun问题求解环境内
机译:利用迭代求解器求解材料非线性问题的耦合有限元/边界元方案.Yucca mountain site Characterization project
机译:利用模板子句进行SAT求解的方法,装置和产品
机译:利用系统局部搜索进行SAT求解的方法和机制
机译:利用半显式二次规划求解器求解带界约束的二次规划问题的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。