List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@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}
}

---

1 entry found.

 
 Back