@inproceedings{
    bibdb-export-pkaski-2012-2,
    editor = "Cimatti, Alessandro and Sebastiani, Roberto",
    author = {J{\"a}rvisalo, Matti and Kaski, Petteri and Koivisto, Mikko and Korhonen, Janne H.},
    volume = "7317",
    publisher = "Springer",
    eventtime = "June 17-20",
    isbn = "978-3-642-31611-1",
    language = "eng",
    title = "Finding efficient circuits for ensemble computation",
    eventlocation = "Trento, Italy",
    country = "Germany",
    booktitle = "Proceedings of the Fifteenth International Conference on Theory and Applications of Satisfiability Testing (Trento, 17--20 June, 2012)",
    issn = "0302-9743",
    year = "2012",
    pages = "369--382",
    juforank = "1",
    url = "http://dx.doi.org/10.1007/978-3-642-31612-8_28",
    series = "Lecture Notes in Computer Science",
    flags = "HIIT",
    il = "no",
    responsibleauthor = "Kaski, Petteri",
    unitcode = "T306-99, T312-1",
    impactfactor = "a4",
    doistring = "10.1007/978-3-642-31612-8_28"
}