---
_id: '13607'
author:
- first_name: Oskar
  full_name: Mencer, Oskar
  last_name: Mencer
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Mencer O, Platzner M. Dynamic circuit generation for Boolean satisfiability
    in an object-oriented design environment. In: <i>Proceedings of the 32nd Annual
    Hawaii International Conference on Systems Sciences (HICSS-32)</i>. IEEE CS Press;
    1999. doi:<a href="https://doi.org/10.1109/hicss.1999.772883">10.1109/hicss.1999.772883</a>'
  apa: Mencer, O., &#38; Platzner, M. (1999). Dynamic circuit generation for Boolean
    satisfiability in an object-oriented design environment. In <i>Proceedings of
    the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)</i>.
    IEEE CS Press. <a href="https://doi.org/10.1109/hicss.1999.772883">https://doi.org/10.1109/hicss.1999.772883</a>
  bibtex: '@inproceedings{Mencer_Platzner_1999, title={Dynamic circuit generation
    for Boolean satisfiability in an object-oriented design environment}, DOI={<a
    href="https://doi.org/10.1109/hicss.1999.772883">10.1109/hicss.1999.772883</a>},
    booktitle={Proceedings of the 32nd Annual Hawaii International Conference on Systems
    Sciences (HICSS-32)}, publisher={IEEE CS Press}, author={Mencer, Oskar and Platzner,
    Marco}, year={1999} }'
  chicago: Mencer, Oskar, and Marco Platzner. “Dynamic Circuit Generation for Boolean
    Satisfiability in an Object-Oriented Design Environment.” In <i>Proceedings of
    the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)</i>.
    IEEE CS Press, 1999. <a href="https://doi.org/10.1109/hicss.1999.772883">https://doi.org/10.1109/hicss.1999.772883</a>.
  ieee: O. Mencer and M. Platzner, “Dynamic circuit generation for Boolean satisfiability
    in an object-oriented design environment,” in <i>Proceedings of the 32nd Annual
    Hawaii International Conference on Systems Sciences (HICSS-32)</i>, 1999.
  mla: Mencer, Oskar, and Marco Platzner. “Dynamic Circuit Generation for Boolean
    Satisfiability in an Object-Oriented Design Environment.” <i>Proceedings of the
    32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)</i>,
    IEEE CS Press, 1999, doi:<a href="https://doi.org/10.1109/hicss.1999.772883">10.1109/hicss.1999.772883</a>.
  short: 'O. Mencer, M. Platzner, in: Proceedings of the 32nd Annual Hawaii International
    Conference on Systems Sciences (HICSS-32), IEEE CS Press, 1999.'
date_created: 2019-10-04T20:59:20Z
date_updated: 2022-01-06T06:51:40Z
department:
- _id: '78'
doi: 10.1109/hicss.1999.772883
extern: '1'
language:
- iso: eng
publication: Proceedings of the 32nd Annual Hawaii International Conference on Systems
  Sciences (HICSS-32)
publication_identifier:
  isbn:
  - '0769500013'
publication_status: published
publisher: IEEE CS Press
status: public
title: Dynamic circuit generation for Boolean satisfiability in an object-oriented
  design environment
type: conference
user_id: '398'
year: '1999'
...