47th DAC Best Papers