@InProceedings{sat03,
  author =       {Roland Yap and Wang Stella and Martin Henz},
  title =        {Real-time Reconfigurable Hardware {WSAT} Variants},
  year =         {2003},        
  month =        sept,
  address =      {S. Magherita Ligure---Portofino, Italy},
  booktitle =    {Proceedings of the International Conference
on Theory and Applications of Satisfiability},
  note = {poster},
}