Conflict-Driven XOR-Clause Learning

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    10 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoFifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012
    ToimittajatAlessandro Cimatti, Roberto Sebastiani
    KustantajaSpringer
    Sivut383-396
    ISBN (painettu)978-3-642-31612-8
    DOI - pysyväislinkit
    TilaJulkaistu - 2012
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

    Julkaisusarja

    Nimi Lecture Notes in Computer Science
    KustantajaSpringer
    Vuosikerta7317
    ISSN (painettu)0302-9743

    Siteeraa tätä