摘要The resolution method, proposed by J. A. Robinson in 1965, brought to many AI scholars’ attention. They made a lot of refinement or improvement on it, of which the famous ones are the semantic resolution brought in by J. R. Slagle in 1967, the
5HOU Sixiang (China Marine Development and Research Cented Box 1303-17, Beijing 100073, China) DU Donglei (Institute of Applied Mathematics, Academia Sinica, Beijing 100080, China).A HEURISTIC FOR F3/bi= b/C_(max) AND ITSWORST-CASE ANALYSIS[J].Systems Science and Mathematical Sciences,1997,10(2):141-151.
8HAI Jinke Department of Mathematics, Qingdao University, Qingdao 266071, China,College of mathematics ,Shandong University, Jinan 250100, China.The extension of the first main theorem for π-blocks[J].Science China Mathematics,2006,49(5):620-625. 被引量:3