Finding Efficient Circuits for Ensemble Computation

Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne Henrik Korhonen

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoTheory and Applications of Satisfiability Testing – SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ToimittajatAlessandro Cimatti, Roberto Sebastiani
Sivumäärä14
KustantajaSpringer-Verlag
Julkaisupäivä2012
Sivut369-382
ISBN (painettu)978-3-642-31611-1
ISBN (elektroninen)978-3-642-31612-8
DOI - pysyväislinkit
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtuma15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012) - Trento, Italia
Kesto: 17 kesäkuuta 201220 kesäkuuta 2012

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer Berlin Heidelberg
Vuosikerta7317
ISSN (painettu)0302-9743

Lisätietoja


Volume:
Proceeding volume:

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä