|
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.002secs, Finished in 0.003secs
|