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 D Prestwich; Inês Lynce ;
PUBLISHED: 2007, SOURCE: 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
AUTHORS: Steven D Prestwich; Inês Lynce ;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3
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
Scopus4
TITLE: Local search for unsatisfiability
AUTHORS: Prestwich, S; Lynce, I ;
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: Prestwich, S; Lynce, I ;
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 DBLP
Scopus WOS DBLP