Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
11
TITLE: Refutation by Randomised General Resolution
AUTHORS: Steven Prestwich; Inês Lynce;
PUBLISHED: 2007, SOURCE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
AUTHORS: Steven Prestwich; Inês Lynce;
PUBLISHED: 2007, SOURCE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXED IN: 
Scopus
Scopus