MiniSAT求解器相关论文
无线传感器网络(Wireless Sensor Networks,WSN)应用范围遍及各个领域,WSN最早被美国军方关注研究,其主要用于采集观察者所需要的......
为了使电路故障诊断系统更加智能化、高效化,将基于模型诊断的故障诊断技术应用在智能消防小车电路中。根据小车的系统行为信息对......
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启......
MiniSAT求解器运用到电路故障诊断系统时,能够将判断一个电路是否存在故障问题转换为可满足性问题.本文将全加器的行为模型及观测......
期刊
目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发......
期刊
