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 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
Scopus3
TÃTULO: Local search for unsatisfiability
AUTORES: Steven Prestwich; Ines Lynce ;
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: Steven Prestwich; Ines Lynce ;
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
Scopus WOS