The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tom Kelsey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]

  14. The Monoids of Order Eight and Nine. [Citation Graph (, )][DBLP]


  15. The monoids of orders eight, nine & ten. [Citation Graph (, )][DBLP]


  16. The Exact Closest String Problem as a Constraint Satisfaction Problem [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002