Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Logical depth and physical complexity
A Theory of Program Size Formally Identical to Information Theory
PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation
THE EMPEROR'S NEW MIND Concerning Computers, Minds and the Laws of Physics
Processing Capacity Defined by Relational Complexity: Implications for Comparative, Developmental, and Cognitive Psychology
Feynman Machine: The Universal Dynamical Systems Computer
The intractability of resolution
Logic and Learning: Turing's legacy
On the Depth of Deep Neural Networks: A Theoretical View
Introduction to the theory of computation
Learning Real and Boolean Functions: When Is Deep Better Than Shallow
On the Impossibility of Supersized Machines
Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
Higher-order logical inference with compositional semantics
An Information-Theoretic View for Deep Learning
The Ghost in the Quantum Turing Machine
Using first-order logic to compress sentences
Turing Tests with Turing machines
A Mechanical Proof of the Unsolvability of the Halting Problem
On the power of quantum computation
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
Transforming the Dynamic Response of Robotic Structures and Systems Through Laminar Jamming
I Know What You See: Power Side-Channel Attack on Convolutional Neural Network Accelerators
On the Length of Programs for Computing Finite Binary Sequences
Keypoint trajectory estimation using propagation based tracking
Driver Behavior Model Based on Ontology for Intelligent Transportation Systems