A Parallel Resolution Procedure Based on Connection Graph.

P. Daniel Cheng, J. Y. Yuang

Browse the full AAAI paper archive.