Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Related
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research