Question: who produced the  brand  which adopted  Intel BiCMOS logic circuit family that is co invested by Young  
Sentence (from "Tseytin transformation"): This reduces the problem of circuit satisfiability on any circuit (including any formula) to the satisfiability problem on 3-CNF formulas.
Relevant evidence: No