SAT求解器
SAT求解器技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
SAT求解器 热门资料
查看全部 500 份 →matlab编程的三个线性方程组求解子程序：cggm.m,fdm.m,febs.m.其中cggm.m为共轭梯度法求解子程序,fdm.m为最速下降法求解自程序,febs.m为三对角追赶法求解子程序.
matlab编程的三个线性方程组求解子程序：cggm.m,fdm.m,febs.m.其中cggm.m为共轭梯度法求解子程序,fdm.m为最速下降法求解自程序,febs.m为三对角追赶法求解子程序.
2013-12-25
45
控温器设计要求
控温器设计要求-20120922112600 1功能要求:测温控温双功能.(当加热器开关处于关闭状态时，只能测温，当打开开关时既测温又控温,处于控温状态时 方可进行各种设置)。 2单电源供电：(加热片不另加配电源)。 3工作电压：12v 交...
2013-11-08
102
用循环链表求解约瑟夫(josephus)问题 求解约瑟夫(josephus)问题,用数组实现
用循环链表求解约瑟夫(josephus)问题 求解约瑟夫(josephus)问题,用数组实现
2013-12-14
153