Resolution with Limited Factoring

Artificial Intelligence and Computational Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-05253-8_51 ◽

2009 ◽

pp. 463-468

Author(s):

Dafa Li

Download Full-text