Infoscience
24th International Workshop on Logic & Synthesis (IWLS)
June 12-13, 2015
Mountain View, California, USA