退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:对SMT的约束编程模型的有效编码
Ewan Davidson; Özgür Akgün; Joan Espasa; Peter Nightingale;
机译:基于SMT的符号编码和HML模型的形式分析
机译:一种新的约束编程模型和基于线性编程的自适应大邻域搜索与同步约束的车辆路由问题
机译:基于通用约束的块建模使用约束编程
机译:在能力约束下公平有效分配粮食捐赠的模型。
机译:结合生态补偿概念的生态效益约束下的洪水资源分配的两阶段随机规划模型
机译:BMC用于弱存储器模型:紧凑型SMT编码的关系分析
机译:实施国防采办计划的有效负担能力约束
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:用于生成逻辑电路的时序约束模型的方法和程序以及采用时序约束模型的时序驱动布局方法
机译:在编程模型中实现子集约束的计算机方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。