Jun Yuan Kurt Shultz John Havlicek Ken Albin Adnan Aziz A Method for Synthesizing Boolean Constrains. 351-353 2002 IWLS db/conf/iwls/iwls2002.html#YuanSHAA02