@InProceedings{fpgasat,
author  = {Martin Henz and Edgar Tan and Roland Yap},
title   = {One Flip per Clock Cycle},
booktitle = {Proceedings of the Seventh International Conference on Principles
and Practice of Constraint Programming},
editor = {Toby Walsh},
year = {2001},
publisher = {LNCS},
address = {Cyprus},
note = {to appear},
}