Depth-Driven Circuit-Level Stochastic Local Search for SAT

Publiceringsår

2011

Upphovspersoner

Belov, Anton; Järvisalo, Matti; Stachniak, Zbigniew

Organisationer och upphovspersoner

Helsingfors universitet

Järvisalo Matti

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

Moderpublikationens namn

Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)

Sidor

504-509

ISBN

978-1-57735-512-0

Publikationsforum

58173

Publikationsforumsnivå

Öppen tillgång

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

Ingen information

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Spanien

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag