@inproceedings{13607,
  author       = {{Mencer, Oskar and Platzner, Marco}},
  booktitle    = {{Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)}},
  isbn         = {{0769500013}},
  publisher    = {{IEEE CS Press}},
  title        = {{{Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment}}},
  doi          = {{10.1109/hicss.1999.772883}},
  year         = {{1999}},
}