I Van Rooji, P Evans, M Muller,
J Gedge… - Proceedings of the …, 2008 - escholarship.org
Many computational models in cognitive science and artificial intelligence face the problem
of computational intractability when assumed to operate for unrestricted input domains …