[{"status":"public","type":"conference","publication":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)","language":[{"iso":"eng"}],"extern":"1","_id":"13607","user_id":"398","department":[{"_id":"78"}],"year":"1999","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>","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.","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} }","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.","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>"},"publication_status":"published","publication_identifier":{"isbn":["0769500013"]},"title":"Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment","doi":"10.1109/hicss.1999.772883","publisher":"IEEE CS Press","date_updated":"2022-01-06T06:51:40Z","author":[{"full_name":"Mencer, Oskar","last_name":"Mencer","first_name":"Oskar"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"}],"date_created":"2019-10-04T20:59:20Z"}]