Items by Crick, Thomas
 | Up a level |
Book Sections
Crick, T., Brain, M., De Vos, M. and Fitch, J., 2009. Generating optimal code using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 554-559. (Lecture Notes in Computer Science)
Articles
Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2009. Engineering design optimization using services and workflows. Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences, 367 (1898), pp. 2741-2751.
Reports/Papers
Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-05)
Conference or Workshop Items
Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2008. Structural optimization using services and workflows. In: UK e-Science All Hands Meeting: Crossing Boundaries, 2008-09-08 - 2008-09-11, Edinburgh.
Thesis
Crick, T., 2009. Superoptimisation: provably optimal code generation using answer set programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.
