Maximum Satisfiability

Publiceringsår

2021

Upphovspersoner

Bacchus, Fahiem; Järvisalo, Matti; Martins, Ruben

Organisationer och upphovspersoner

Helsingfors universitet

Järvisalo Matti

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Samlingsverk

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A3 Del av bok eller annat samlingsverk

Publikationskanalens uppgifter

Volym

336

Sidor

929 - 991

ISBN

978-1-64368-160-3

Publikationsforum

5548

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Nederländerna

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.3233/FAIA201008