Publications

Refutation by Randomised General Resolution

AuthID
P-007-JV2

Author(s)

Prestwich, SD

Lynce, I

Document Type

Proceedings Paper

Year published

2007

Published

in Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada in AAAI

Volume: 2, Pages: 1667-1670

Conference

Aaai-07/Iaai-07 Proceedings: 22Nd Aaai Conference on Artificial Intelligence and the 19Th Innovative Applications of Artificial Intelligence Conference, Date: 22 July 2007 through 26 July 2007, Location: Vancouver, BC, Sponsors: Association for the Advancement of Artificial Intelligence, AAAI;National Science Foundation, NSF;ACM, SIGART;Boeing;Cornell University, Intelligent Information Systems Institute;et al

Indexing