@InProceedings{fpl02,
  author =       {Martin Henz and Edgar Tan and Roland Yap},
  title =        {Implementing CSAT Local Search on FPGAs},
  year =         {2002},        
  month =        sept,
  address =      {Montpellier, France},
  publisher = LNCS#{~2438},
  booktitle =    {Proceedings of the International Conference
on Field Programmable Logic and Applications},
  PAGES     = {1156--1159},
}