Tu Chengyu, Hu Jian, Qi Linwei, Zhang Yue. Heuristic Search for Finding Satisfied Solutions[J]. Journal of Beijing University of Technology, 1996, 22(4): 151-155.
Citation:
Tu Chengyu, Hu Jian, Qi Linwei, Zhang Yue. Heuristic Search for Finding Satisfied Solutions[J]. Journal of Beijing University of Technology, 1996, 22(4): 151-155.
Tu Chengyu, Hu Jian, Qi Linwei, Zhang Yue. Heuristic Search for Finding Satisfied Solutions[J]. Journal of Beijing University of Technology, 1996, 22(4): 151-155.
Citation:
Tu Chengyu, Hu Jian, Qi Linwei, Zhang Yue. Heuristic Search for Finding Satisfied Solutions[J]. Journal of Beijing University of Technology, 1996, 22(4): 151-155.
One dimension optimal searching, the general form of various searching methods used so far, is given with the observation of its shortages. One dimension and high dimension λ-cut search for finding satisfied solutions is also provided.Besides, an approach to λ-cut search by production rules is discussed, which shows the link between λ-cut search and production systems.
DownLoad: