LuWCMH04'

@article{DBLP:journals/jucs/LuWCMH04,
  author    = {Feng Lu and
               Li-C. Wang and
               Kwang-Ting (Tim) Cheng and
               John Moondanos and
               Ziyad Hanna},
  title     = {A Signal Correlation Guided Circuit-SAT Solver},
  journal   = {J. UCS},
  volume    = {10},
  number    = {12},
  year      = {2004},
  pages     = {1629-1654},
  ee        = {http://www.jucs.org/jucs_10_12/a_signal_correlation_guided},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}