Tom Kelsey

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The semigroups of order 9 and their automorphism groups. Semigroup Forum	2014-04-25	Paper
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures	2012-09-16	Paper
Generic SBDD using computational group theory Lecture Notes in Computer Science	2010-03-02	Paper
The monoids of orders eight, nine \& ten. Annals of Mathematics and Artificial Intelligence	2009-12-11	Paper
The Monoids of Order Eight and Nine Lecture Notes in Computer Science	2009-01-27	Paper
Conditional Symmetry Breaking Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
Symmetry and Consistency Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
Search in the patience game `Black Hole'	2008-01-14	Paper
Hidden verification for computational mathematics Journal of Symbolic Computation	2007-10-19	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 1863375 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1262431 (Why is no real title available?)	1999-03-15	Paper

Research outcomes over time

This page was built for person: Tom Kelsey