Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Fan Zhang, Junwei Cao, et al.
IEEE TETC
David S. Kung
DAC 1998
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998