1. Standard Cell Routing via Boolean Satisfiability Nikolai Ryzhenko, Steven Burns Strategic CAD Labs, Intel Corporation Design Automation Conference, June 6, 2012 2. Outline…