退出
我的积分:
中文文献批量获取
外文文献批量获取
沈雪; 陈树伟; 艾森阳;
西南交通大学数学学院 成都 610031;
系统可信性自动验证国家地方联合工程实验室 成都 610031;
可满足性问题; 完备算法; 冲突驱动子句学习; 回溯搜索; 分支策略;
机译:IC3中的SAT求解器管理策略:一种实验方法
机译:保持还是回馈?基于奖励的杂交机制与共享经济中的杂交机制的最优定价策略
机译:基于多线程和管道的并行FPGA SAT求解器
机译:在SAT求解器的分支启发式方法中添加基于LBD的奖励机制
机译:基于SAT的形式验证的策略。
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:理解冲突驱动中的VsIDs分支启发式 条款学习saT求解器
机译:增加用于网络配置/规划的saT求解器
机译:结合应用感知分支的基于DPLL的SAT求解器
机译:基于解释和真理表分析的SAT求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。