An efficient local search method for random 3-satisfiability

Publiceringsår

2003

Upphovspersoner

Seitz, Sakari; Orponen, Pekka

Organisationer och upphovspersoner

Aalto-universitetet

Orponen Pekka

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

IEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions, Ottawa, Canada, June 2003

Förläggare

Elsevier

Ö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]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej