An Algorithm for Solving Boolean Equations

Logical Design of Digital Computers.

David E. Muller, Montgomery Phister · Mathematical Tables and Other Aids to Computation · 1959 · 117 citations

Engineering, Computer Engineering, Computer Science +12

Digital Computer and Control Engineering

C C Ritchie · Physics Bulletin · 1961 · 42 citations

Engineering, Computer Engineering, Computer Science +14

Circuit Synthesis by Solving Sequential Boolean Equations

Hao Wang · Mathematical logic quarterly · 1959 · 16 citations

Engineering, Computer Engineering, Computer Science +13