Steven Prestwich
AuthID: R-006-EBK
1
TÃTULO: Boosting haplotype inference with local search Full Text
AUTORES: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLICAÇÃO: 2008, FONTE: CONSTRAINTS, VOLUME: 13, NÚMERO: 1-2
AUTORES: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLICAÇÃO: 2008, FONTE: CONSTRAINTS, VOLUME: 13, NÚMERO: 1-2
2
TÃTULO: Refutation by Randomised General Resolution
AUTORES: Steven D Prestwich; Inês Lynce ;
PUBLICAÇÃO: 2007, FONTE: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference in Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, VOLUME: 2
AUTORES: Steven D Prestwich; Inês Lynce ;
PUBLICAÇÃO: 2007, FONTE: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference in Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, VOLUME: 2
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP3
TÃTULO: Refutation by Randomised General Resolution
AUTORES: Steven Prestwich; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
AUTORES: Steven Prestwich; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXADO EM: Scopus
Scopus4
TÃTULO: Local search for unsatisfiability
AUTORES: Prestwich, S; Lynce, I ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
AUTORES: Prestwich, S; Lynce, I ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXADO EM: Scopus 
WOS DBLP
Scopus WOS DBLP