|
@inproceedings{MP99, author = {Oskar Mencer and Marco Platzner}, title = {Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Environment}, booktitle = {Proceedings of the 32th Hawaiian International Conference on System Sciences}, month = {Jan}, year = {1999} }