Implementing a Generalized Version of Resolution.

Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

Browse the full AAAI paper archive.