automated-theorem-proving

shortcircuit ,  electronic-design-automation ,  and-inverter-graph ,  alphazero ,  circuit-design ,  automated-theorem-proving ,  protein-folding