KallaZCH00'

BibTeX

@inproceedings{DBLP:conf/date/KallaZCH00,
  author    = {Priyank Kalla and
               Zhihong Zeng and
               Maciej J. Ciesielski and
               ChiLai Huang},
  title     = {A BDD-Based Satisfiability Infrastructure Using the Unate
               Recursive Paradigm},
  booktitle = {DATE},
  year      = {2000},
  pages     = {232-236},
  ee        = {http://csdl.computer.org/comp/proceedings/date/2000/0537/00/05370232abs.htm},
  crossref  = {DBLP:conf/date/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2000,
  title     = {2000 Design, Automation and Test in Europe (DATE 2000),
               27-30 March 2000, Paris, France},
  booktitle = {DATE},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0537-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}