Implicit Hitting Set Algorithms for Reasoning Beyond NP

Publiceringsår

2016

Upphovspersoner

Saikko, Paul Henrik Alexander; Wallner, Johannes Peter; Järvisalo, Matti Juhani

Organisationer och upphovspersoner

Helsingfors universitet

Wallner Johannes Peter

Järvisalo Matti Juhani

Saikko Paul Henrik Alexander

Publikationstyp

Publikationsform

Artikel

Rapport

Nej

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Sidor

104-113

ISBN

978-1-57735-755-1

Publikationsforum

5001

Publikationsforumsnivå

Öppen tillgång

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

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Identifierade tema

[object Object]

Publiceringsland

Förenta staterna (USA)

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej