多核环境下运行了可满足性分析的工具软件,能够使你充分了解多核编程技术-Multi-core environment running satisfiability analysis tools, enabling you to fully understand the multi-core programming technology
这是通过A*算法实现8数码问题,求解可能出现的目标状态。通过回溯的方法实现对A*算法。不同于其它状态图的搜索实现8数码问题。-This is the A* algorithm eight digital issues, the solution may target state. Through the method back to the A* algorithm. Unlike other state diagram of the search to achieve eight digital problem.