Finding efficient circuits for ensemble computation

Reference:

Matti Järvisalo, Petteri Kaski, Mikko Koivisto, and Janne H. Korhonen. Finding efficient circuits for ensemble computation. In Alessandro Cimatti and Roberto Sebastiani, editors, Proceedings of the Fifteenth International Conference on Theory and Applications of Satisfiability Testing (Trento, 17–20 June, 2012), volume 7317 of Lecture Notes in Computer Science, pages 369–382. Springer, 2012.

Suggested BibTeX entry:

@inproceedings{bibdb-export-pkaski-2012-2,
    author = {Matti J{\"a}rvisalo and Petteri Kaski and Mikko Koivisto and Janne H. Korhonen},
    booktitle = {Proceedings of the Fifteenth International Conference on Theory and Applications of Satisfiability Testing (Trento, 17--20 June, 2012)},
    editor = {Alessandro Cimatti and Roberto Sebastiani},
    language = {eng},
    pages = {369--382},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Finding efficient circuits for ensemble computation},
    volume = {7317},
    year = {2012},
}