Publication January 1, 2010 Conference PaperSwitching Logic Synthesis for Reachability SRI International January 1, 2010 ↓ View online Share this