Transistor Placement for Automatic Cell Synthesis through Boolean Satisfiability | IEEE Conference Publication | IEEE Xplore