..............page:393-400
on k-positive satisfiability problem
HUANG Xiong ; LI wei Department of Computer Science and EngineeringBeijing University of Aeronautics and Astronautics; Beijing 100083; P.R. ChinaE-mail: xhuang@cs. sebuaa. ac. onReceived November 24; 1997; revised may 12; 1998.
..............page:309-313
..............page:314-319
..............page:372-378
..............page:320-327
..............page:401-407
..............page:328-336
..............page:349-362
..............page:422-428
A Theory of Hybrid Diagnosis
SHEN Yidong Department of Computer Science; Chongqing University; Chongqing 400044; P.R. ChinaReceived November 9; 1997; revised April 20; 1998.
..............page:363-371
..............page:379-385
..............page:414-421
..............page:386-392
on the arc consistency problem
CHEN Yangjun Department of COmputer Science; Technical University of Chemnitz-Zwickau09107 Chemnitz; GermanyReceived December 24; 1997; revised March 30; 1998.
..............page:298-308
..............page:429-433
..............page:337-348
..............page:408-413
..............page:289-297