undefined

< Takaisin hakutuloksiin

Conflict-Driven XOR-Clause Learning

Julkaisuvuosi

2012

Tekijät

Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka

Organisaatiot ja tekijät

Aalto-yliopisto

Niemelä Ilkka Orcid -palvelun logo

Junttila Tommi

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Lehti

Lecture Notes in Computer Science

Emojulkaisun nimi

Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012

Kustantaja

SPRINGER

Volyymi

7317

Sivut

383-396

ISSN

0302-9743

ISBN

978-3-642-31612-8

Julkaisu­foorumi

62555

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Tilastotiede; Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka; Psykologia; Media- ja viestintätieteet; Sosiologia

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/978-3-642-31612-8_29

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä