Andrew C. Ling

• Field-programmable gate array logic synthesis using Boolean satisfiability