heuristic function
3.This paper discusses the heuristics bassed on the reduced BDD (Binary Decision Diagram) in an environment of expert systems and two methods which arc CBT (Critical Binary Tree) heuristic and npf (node partition function) heuristic are introduced. They attempt to reduce BDD so that generate test generations depend on the reduced BDD for the large size digital system.
5.A heuristic search algorithm has been put forward for the 0-1 goal programming model by establishing optimal evaluation function,and by using the state-space theory of Artificial Intelligence. Moreover,a software system has been developed by using C language to solve the 0-1 goal programming model,which is very difficulty to realize as yet by computer.

