Improved Propositional Extension Rule

Xia Wu(Beijing Institute of Technology), Minghao Yin(Central South University), Meng Wei(Ministry of Education of the People's Republic of China), Shuai Lü(Ministry of Education of the People's Republic of China), Jigui Sun(Ministry of Education of the People's Republic of China), Ying Li(Ministry of Education of the People's Republic of China)
Lecture notes in computer science
January 1, 2006
Cited by 6


Related Papers