Infoscience
25th International Workshop on Logic & Synthesis (IWLS)
June 10-11, 2016
Austin, Texas, USA