Propositional search with k-clause introduction can be polynomially simulated by resolution (1998)

by Allen Van Gelder
Venue:In Fifth International Symposium on Artificial Intelligence and Mathematics
Citations:1 - 0 self