Author

Mitchell A. Thornton

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

A Version Space Approach for Digital Circuit Analysis

This paper develops the version-space view as one method and applies it to two circuit-analysis problems usually treated as unrelated, probabilistic combinational equivalence checking and key counting for logic-locked netlists.

Mitchell A. Thornton · 0 citations