Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Conference paper
Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009