Title: Field-programmable gate array logic synthesis using Boolean satisfiability
First published: 2005