The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving An Experimental Study

Publiceringsår

2008

Upphovspersoner

Järvisalo, Matti; Niemelä, Ilkka

Organisationer och upphovspersoner

Aalto-universitetet

Niemelä Ilkka

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC

Förläggare

Elsevier

Volym

Nummer

1-3

Sidor

90-113

ISSN

0196-6774

Publikationsforum

59523

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],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1016/j.jalgor.2008.02.005