A Runtime Reconfigurable Implementation of the GSAT Algorithm. - Wong Hiu Yung; Wing Seung Yuen; Kin-Hong Lee; Philip Heng Wai Leong (FPL, 1999)