Mark J Bennett
-
Selected AI-related dissertations
ACM SIGART Bulletin
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
Fundamenta Informaticae