Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Conference paper
Some experimental results on placement techniques
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Oliver Bodemer
IBM J. Res. Dev