Transistor Placement for Automatic Cell Synthesis through Boolean Satisfiability | Publicación