Extending Clause Learning SAT Solvers with Complete Parity Reasoning

Publiceringsår

2012

Upphovspersoner

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

Organisationer och upphovspersoner

Aalto-universitetet

Niemelä Ilkka

Laitinen Tero

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

Artikelnummer

6495030

Sidor

65-72

ISSN

1082-3409

ISBN

978-1-4799-0227-9

Publikationsforum

72036

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1109/ICTAI.2012.18