The SCEAS System
| |||||||

## Search the dblp DataBase
Tom Kelsey:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
**New Developments in Symmetry Breaking in Search Using Computational Group Theory.**[Citation Graph (0, 0)][DBLP] AISC, 2004, pp:199-210 [Conf] - Ian P. Gent, Warwick Harvey, Tom Kelsey
**Groups and Constraints: Symmetry Breaking during Search.**[Citation Graph (0, 0)][DBLP] CP, 2002, pp:415-430 [Conf] - Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton
**Generic SBDD Using Computational Group Theory.**[Citation Graph (0, 0)][DBLP] CP, 2003, pp:333-347 [Conf] - Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
**Conditional Symmetry Breaking.**[Citation Graph (0, 0)][DBLP] CP, 2005, pp:256-270 [Conf] - Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
**Symmetry and Consistency.**[Citation Graph (0, 0)][DBLP] CP, 2005, pp:271-285 [Conf] - Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
**Tractable Symmetry Breaking Using Restricted Search Trees.**[Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:211-215 [Conf] - Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton
**Formal Methods for Extensions to CAS.**[Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:1758-1777 [Conf] - Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
**Design Verification for Control Engineering.**[Citation Graph (0, 0)][DBLP] IFM, 2004, pp:21-35 [Conf] - Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
**Lightweight Formal Methods for Computer Algebra Systems.**[Citation Graph (0, 0)][DBLP] ISSAC, 1998, pp:80-87 [Conf] - Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
**Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:27-42 [Conf] - Hanne Gottliebsen, Tom Kelsey, Ursula Martin
**Hidden verification for computational mathematics.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2005, v:39, n:5, pp:539-567 [Journal] - Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal
**Groupoids and Conditional Symmetry.**[Citation Graph (0, 0)][DBLP] CP, 2007, pp:823-830 [Conf] - Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
**Search in the patience game 'Black Hole'.**[Citation Graph (0, 0)][DBLP] AI Commun., 2007, v:20, n:3, pp:211-226 [Journal] **The Monoids of Order Eight and Nine.**[Citation Graph (, )][DBLP]**The monoids of orders eight, nine & ten.**[Citation Graph (, )][DBLP]**The Exact Closest String Problem as a Constraint Satisfaction Problem**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |