Steven Prestwich
AuthID: R-006-EBK
1
TITLE: Boosting haplotype inference with local search Full Text
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
2
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
Scopus3
TITLE: Local search for unsatisfiability
AUTHORS: Steven Prestwich; Ines Lynce ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
AUTHORS: Steven Prestwich; Ines Lynce ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXED IN: Scopus 
WOS
Scopus WOS