Search results for "Tom Kelsey"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tom Kelsey, Lars Kotthoff	Exact Closest String as a Constraint Satisfaction Problem.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Tom Kelsey, Lars Kotthoff	The Exact Closest String Problem as a Constraint Satisfaction Problem	CoRR	2010	DBLP BibTeX RDF
1	Andreas Distler, Tom Kelsey	The monoids of orders eight, nine & ten.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Andreas Distler, Tom Kelsey	The Monoids of Order Eight and Nine.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	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'.	AI Commun.	2007	DBLP BibTeX RDF
1	Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal	Groupoids and Conditional Symmetry.	CP	2007	DBLP DOI BibTeX RDF
1	Hanne Gottliebsen, Tom Kelsey, Ursula Martin	Hidden verification for computational mathematics.	J. Symb. Comput.	2005	DBLP DOI BibTeX RDF
1	Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal	Symmetry and Consistency.	CP	2005	DBLP DOI BibTeX RDF
1	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith	Conditional Symmetry Breaking.	CP	2005	DBLP DOI BibTeX RDF
1	Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton	Tractable Symmetry Breaking Using Restricted Search Trees.	ECAI	2004	DBLP BibTeX RDF
1	Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin	Design Verification for Control Engineering.	IFM	2004	DBLP DOI BibTeX RDF
1	Tom Kelsey, Steve Linton, Colva M. Roney-Dougal	New Developments in Symmetry Breaking in Search Using Computational Group Theory.	AISC	2004	DBLP DOI BibTeX RDF
1	Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton	Generic SBDD Using Computational Group Theory.	CP	2003	DBLP DOI BibTeX RDF
1	Ian P. Gent, Warwick Harvey, Tom Kelsey	Groups and Constraints: Symmetry Breaking during Search.	CP	2002	DBLP BibTeX RDF
1	Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre	Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.	TPHOLs	2001	DBLP DOI BibTeX RDF
1	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin	Lightweight Formal Methods for Computer Algebra Systems.	ISSAC	1998	DBLP DOI BibTeX RDF	AXIOM

Publications of "Tom Kelsey" ( http://dblp.L3S.de/Authors/Tom_Kelsey )