Skip to main content
eScholarship
Open Access Publications from the University of California

Synthetic Reasoning and the Reverse Engineering of Boolean Circuits