Infoscience
23rd International Workshop on Logic & Synthesis (IWLS)
May 30 - June 1, 2014
San Francisco, California, USA