One Flip per Clock Cycle. - Martin Henz; Edgar Tan; Roland H. C. Yap (CP, 2001)

Implementing CSAT Local Search on FPGAs. - Martin Henz; Edgar Tan; Roland H. C. Yap (FPL, 2002)